path: root/testsuite/tests/typecheck/should_fail/PatSynExistential.stderr

PatSynExistential.hs:6:1: [GHC-33973]
     The result type of the signature for ‘P’, namely ‘x -> Maybe x’
        mentions existential type variable ‘x’
     In the declaration for pattern synonym ‘P’