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

abstract A = {

cat A ;
    B (A 1) ;

}