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

testsuite/compiler/check/lincat-types/TestCnc.gf:3:
  Happened in linearization type of S
    type of PTrue
   expected: Type
   inferred: PBool