Error message wibbles following ambiguity check changes

testsuite/tests/deriving/should_fail/T5287.stderr

@@ -7,4 +7,5 @@ T5287.hs:6:10:
       at T5287.hs:6:10-31
     The type variable ‛oops0’ is ambiguous
     In the ambiguity check for: forall a oops. A a oops => Read (D a)
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
     In the instance declaration for ‛Read (D a)’

testsuite/tests/ghci/scripts/Defer02.stderr

@@ -83,11 +83,13 @@
     Inaccessible code in
       the type signature for k :: Int ~ Bool => Int -> Bool
     In the ambiguity check for: Int ~ Bool => Int -> Bool
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
     In the type signature for ‛k’: k :: Int ~ Bool => Int -> Bool
 
 ../../typecheck/should_run/Defer01.hs:45:6: Warning:
     Couldn't match expected type ‛Bool’ with actual type ‛Int’
     In the ambiguity check for: Int ~ Bool => Int -> Bool
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
     In the type signature for ‛k’: k :: Int ~ Bool => Int -> Bool
 
 ../../typecheck/should_run/Defer01.hs:45:6: Warning:

testsuite/tests/indexed-types/should_fail/NoMatchErr.stderr

@@ -10,4 +10,5 @@ NoMatchErr.hs:19:7:
       Actual type: Memo d0 a -> Memo d0 a
     In the ambiguity check for:
       forall d a. Fun d => Memo d a -> Memo d a
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
     In the type signature for ‛f’: f :: Fun d => Memo d a -> Memo d a

testsuite/tests/indexed-types/should_fail/T1900.stderr

@@ -9,5 +9,6 @@ T1900.hs:13:10:
     Expected type: Depend s -> Bool
       Actual type: Depend s0 -> Bool
     In the ambiguity check for: forall s. Bug s => Depend s -> Bool
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
     In the type signature for ‛check’:
       check :: Bug s => Depend s -> Bool

testsuite/tests/perf/compiler/T5837.stderr

@@ -157,3 +157,5 @@ T5837.hs:8:6:
                                                                                                                                                        (TF
                                                                                                                                                           (TF
                                                                                                                                                              a)))))))))))))))))))))))))))))))))))))))))))))))))
+    In the ambiguity check for: forall a. a ~ TF (a, Int) => Int
+    In the type signature for ‛t’: t :: a ~ TF (a, Int) => Int

testsuite/tests/typecheck/should_fail/T5300.stderr

@@ -11,6 +11,7 @@ T5300.hs:11:7:
       forall a b (m :: * -> *) c.
       (Monad m, C1 a b c) =>
       a -> StateT (T b) m a
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
     In the type signature for ‛f1’:
       f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
 
@@ -27,6 +28,7 @@ T5300.hs:14:7:
       forall a1 b2 (m :: * -> *) a2 b1 c1 c2.
       (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
       a1 -> StateT (T b2) m a2
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
     In the type signature for ‛f2’:
       f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
             a1 -> StateT (T b2) m a2

testsuite/tests/typecheck/should_fail/T7279.stderr

@@ -7,4 +7,5 @@ T7279.hs:6:10:
       at T7279.hs:6:10-35
     The type variable ‛b0’ is ambiguous
     In the ambiguity check for: forall a b. (Eq a, Show b) => Eq (T a)
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
     In the instance declaration for ‛Eq (T a)’

testsuite/tests/typecheck/should_fail/tcfail097.stderr

@@ -6,4 +6,5 @@ tcfail097.hs:5:6:
       at tcfail097.hs:5:6-23
     The type variable ‛a0’ is ambiguous
     In the ambiguity check for: forall a. Eq a => Int -> Int
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
     In the type signature for ‛f’: f :: Eq a => Int -> Int

testsuite/tests/typecheck/should_fail/tcfail098.stderr

@@ -7,4 +7,5 @@ tcfail098.hs:12:10:
       at tcfail098.hs:12:10-26
     The type variable ‛a0’ is ambiguous
     In the ambiguity check for: forall a. Bar a => Bar Bool
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
     In the instance declaration for ‛Bar Bool’

testsuite/tests/typecheck/should_fail/tcfail142.stderr

@@ -7,4 +7,5 @@ tcfail142.hs:18:8:
       at tcfail142.hs:18:8-25
     The type variable ‛a0’ is ambiguous
     In the ambiguity check for: forall r a. Bar a r => r -> ()
+    To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
     In the type signature for ‛bar’: bar :: Bar a r => r -> ()