Add source file for new test that checks that as-patterns are rejected

in pattern synonym definitions

(cherry picked from commit dd3a6d27)

testsuite/tests/patsyn/should_fail/as-pattern.hs

+{-# LANGUAGE PatternSynonyms #-}
+module ShouldFail where
+
+pattern P x y <- x@(Just y)