1 2 3 4 5 6 7 8 9
module T19346 where data T = MkT Int f :: Bool -> T f x = MkT x -- Produced a bad error message when compiled with -- -fprint-typechecker-elaboration