Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / typecheck / should_compile / tc230.hs
1 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
2 {-# LANGUAGE ImplicitParams, RankNTypes #-}
3
4 -- #1445
5
6 module Bug where
7
8 f :: () -> (?p :: ()) => () -> ()
9 f _ _ = ()
10
11 g :: (?p :: ()) => ()
12 g = f () ()