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

abstract LetInDefAbs = {

fun f : Int -> Int ;
def f n = let z = f 0
          in f z ;

}