{-# LANGUAGE PatternSynonyms #-}
{-# OPTIONS_GHC -Wmissing-pattern-synonym-signatures -Wmissing-exported-pattern-synonym-signatures #-}

module T14794d (testExported, pattern TestExported) where

-- These should generate warnings:

pattern TestExported <- True

pattern TestUnexported <- True

-- These should not generate warnings:

testExported = True

testUnexported = True
