SCC analysis for instances as well as types/classes
[ghc.git] / testsuite / tests / typecheck / should_compile / T11793.hs
1 {-# LANGUAGE ImplicitParams #-}
2
3 module T11793 where
4
5 class C a where
6 op :: (?x::Int) => a -> a
7
8 -- Should be OK even without ConstrainedClassMethods