Change pattern matching check files

Two tests behave differently under the new widening scheme. Updating the check files
now, but we should investigate whether the new checks are correct or not.

Author: odersky

tests/patmat/i4030.check

@@ -1 +1 @@
-9: Pattern Match Exhaustivity: (C4(), _), (_, C4())
+12: Type Mismatch