1 2 3 4 5 6 7
{-# LANGUAGE PatternSynonyms #-} module ShouldFail where varWithLocalPatSyn x = case x of P -> () where pattern P = ()