testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T10632.hs
1 {-# LANGUAGE ImplicitParams #-}
2 {-# OPTIONS_GHC -Wredundant-constraints #-}
3
4 f :: (?file1 :: String) => IO ()
5 f = putStrLn $ "f2: "
6
7 main :: IO ()
8 main = let ?file1 = "A" in f