Fix up tests for #13594
[ghc.git] / testsuite / tests / typecheck / should_run / T13594a.script
1 :set -XBangPatterns -XRankNTypes  -XTypeFamilies
2 let x :: forall a . a ~ Integer => forall b. b ~ Integer => (a, b); !x = (1, 2)