testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T13032.stderr
1
2 ==================== Desugar (after optimization) ====================
3 Result size of Desugar (after optimization)
4   = {terms: 13, types: 24, coercions: 0, joins: 0/0}
5
6 -- RHS size: {terms: 6, types: 11, coercions: 0, joins: 0/0}
7 f :: forall a b. (a ~ b) => a -> b -> Bool
8 [LclIdX,
9  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
10          WorkFree=True, Expandable=True,
11          Guidance=ALWAYS_IF(arity=3,unsat_ok=True,boring_ok=True)}]
12 f = \ (@ a) (@ b) _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] ->
13       GHC.Types.True
14
15 -- RHS size: {terms: 5, types: 0, coercions: 0, joins: 0/0}
16 T13032.$trModule :: GHC.Types.Module
17 [LclIdX,
18  Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
19          WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 80 30}]
20 T13032.$trModule
21   = GHC.Types.Module
22       (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "T13032"#)
23
24
25