gf-3.2: 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