gf-3.10: testsuite/compiler/check/restricted-inheritance/A.gf

abstract A = {

cat A1; A2 ;
fun f1 : A1 ;
    f2 : A1 ;
    g  : A2 ;

}