path: root/testsuite/tests/ghci/scripts/T15546.script

:set -XTypeFamilies
type family E a b where E a a = (); E a b = Bool
:info E
:set -fprint-axiom-incomps
:info E