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

abstract RecTypes = {

fun f : {s:Int} -> Int ;

}