gf-3.1.6: testsuite/compiler/typecheck/abstract/LetInTypesAbs.gfs

i -src testsuite/compiler/typecheck/abstract/LetInTypesAbs.gf
ai f