Fix #15954 by rejigging check_type's order
[ghc.git] / testsuite / tests / dependent / should_fail / T15859.hs
index e8ffdf4..e7adc5f 100644 (file)
@@ -1,6 +1,7 @@
 {-# Language PolyKinds          #-}
 {-# Language TypeApplications   #-}
 {-# Language ImpredicativeTypes #-}
+{-# Language LiberalTypeSynonyms #-}
 
 module T15859 where