gf-3.10: testsuite/compiler/typecheck/abstract/A.gf

abstract A = {

cat A ;
    B (A 1) ;

}