gf-3.1.6: testsuite/compiler/check/lincat-types/test.gfs.gold

checking module TestCnc

   Happened in linearization type of S in TestCnc.gf, line 3:

       type of PTrue

      expected: Type

      inferred: PBool