Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117)

The following `TcRnDiagnostic` messages have been introduced:

TcRnWarnUnsatisfiedMinimalDefinition
TcRnMisplacedInstSig
TcRnBadBootFamInstDeclErr
TcRnIllegalFamilyInstance
TcRnAssocInClassErr
TcRnBadFamInstDecl
TcRnNotOpenFamily

9 files changed, 16 insertions, 16 deletions

diff --git a/testsuite/tests/typecheck/should_compile/HasKey.stderr b/testsuite/tests/typecheck/should_compile/HasKey.stderr
index 76b78a6491..edd36ad260 100644
--- a/testsuite/tests/typecheck/should_compile/HasKey.stderr
+++ b/testsuite/tests/typecheck/should_compile/HasKey.stderr
@@ -1,5 +1,5 @@
 
-HasKey.hs:22:10: warning: [-Wmissing-methods (in -Wdefault)]
+HasKey.hs:22:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         either ‘compare’ or ‘<=’
     • In the instance declaration for ‘Ord (Keyed x)’
diff --git a/testsuite/tests/typecheck/should_compile/T7903.stderr b/testsuite/tests/typecheck/should_compile/T7903.stderr
index 515cd6eb28..0ed18a2fa1 100644
--- a/testsuite/tests/typecheck/should_compile/T7903.stderr
+++ b/testsuite/tests/typecheck/should_compile/T7903.stderr
@@ -1,10 +1,10 @@
 
-T7903.hs:8:10: warning: [-Wmissing-methods (in -Wdefault)]
+T7903.hs:8:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         either ‘==’ or ‘/=’
     • In the instance declaration for ‘Eq (a -> b)’
 
-T7903.hs:9:10: warning: [-Wmissing-methods (in -Wdefault)]
+T7903.hs:9:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         either ‘compare’ or ‘<=’
     • In the instance declaration for ‘Ord (a -> b)’
diff --git a/testsuite/tests/typecheck/should_compile/tc078.stderr b/testsuite/tests/typecheck/should_compile/tc078.stderr
index 453ad780e0..d913de4584 100644
--- a/testsuite/tests/typecheck/should_compile/tc078.stderr
+++ b/testsuite/tests/typecheck/should_compile/tc078.stderr
@@ -1,10 +1,10 @@
 
-tc078.hs:9:10: warning: [-Wmissing-methods (in -Wdefault)]
+tc078.hs:9:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         either ‘==’ or ‘/=’
     • In the instance declaration for ‘Eq (Bar a)’
 
-tc078.hs:10:10: warning: [-Wmissing-methods (in -Wdefault)]
+tc078.hs:10:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         either ‘compare’ or ‘<=’
     • In the instance declaration for ‘Ord (Bar a)’
diff --git a/testsuite/tests/typecheck/should_compile/tc115.stderr b/testsuite/tests/typecheck/should_compile/tc115.stderr
index 449e4cdbe8..c5f1847ab8 100644
--- a/testsuite/tests/typecheck/should_compile/tc115.stderr
+++ b/testsuite/tests/typecheck/should_compile/tc115.stderr
@@ -1,5 +1,5 @@
 
-tc115.hs:13:10: warning: [-Wmissing-methods (in -Wdefault)]
+tc115.hs:13:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         ‘foo’
     • In the instance declaration for ‘Foo [m a] (m a)’
diff --git a/testsuite/tests/typecheck/should_compile/tc116.stderr b/testsuite/tests/typecheck/should_compile/tc116.stderr
index d4de632323..c900218c1a 100644
--- a/testsuite/tests/typecheck/should_compile/tc116.stderr
+++ b/testsuite/tests/typecheck/should_compile/tc116.stderr
@@ -1,5 +1,5 @@
 
-tc116.hs:13:10: warning: [-Wmissing-methods (in -Wdefault)]
+tc116.hs:13:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         ‘foo’
     • In the instance declaration for ‘Foo [m a] (m a)’
diff --git a/testsuite/tests/typecheck/should_compile/tc125.stderr b/testsuite/tests/typecheck/should_compile/tc125.stderr
index b1136b602c..1aaf839172 100644
--- a/testsuite/tests/typecheck/should_compile/tc125.stderr
+++ b/testsuite/tests/typecheck/should_compile/tc125.stderr
@@ -1,25 +1,25 @@
 
-tc125.hs:17:10: warning: [-Wmissing-methods (in -Wdefault)]
+tc125.hs:17:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         ‘add’
     • In the instance declaration for ‘Add Z a a’
 
-tc125.hs:18:10: warning: [-Wmissing-methods (in -Wdefault)]
+tc125.hs:18:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         ‘add’
     • In the instance declaration for ‘Add (S a) b (S c)’
 
-tc125.hs:22:10: warning: [-Wmissing-methods (in -Wdefault)]
+tc125.hs:22:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         ‘mul’
     • In the instance declaration for ‘Mul Z a Z’
 
-tc125.hs:23:10: warning: [-Wmissing-methods (in -Wdefault)]
+tc125.hs:23:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         ‘mul’
     • In the instance declaration for ‘Mul (S a) b d’
 
-tc125.hs:30:10: warning: [-Wmissing-methods (in -Wdefault)]
+tc125.hs:30:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         ‘add’
     • In the instance declaration for
diff --git a/testsuite/tests/typecheck/should_compile/tc126.stderr b/testsuite/tests/typecheck/should_compile/tc126.stderr
index 6ccb8d6b25..0ef55aa660 100644
--- a/testsuite/tests/typecheck/should_compile/tc126.stderr
+++ b/testsuite/tests/typecheck/should_compile/tc126.stderr
@@ -1,10 +1,10 @@
 
-tc126.hs:16:25: warning: [-Wmissing-methods (in -Wdefault)]
+tc126.hs:16:25: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         ‘bug’
     • In the instance declaration for ‘Bug (Int -> r) Int r’
 
-tc126.hs:17:10: warning: [-Wmissing-methods (in -Wdefault)]
+tc126.hs:17:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         ‘bug’
     • In the instance declaration for ‘Bug f (c a) (c r)’
diff --git a/testsuite/tests/typecheck/should_compile/tc161.stderr b/testsuite/tests/typecheck/should_compile/tc161.stderr
index 6140a7cac1..d412a64512 100644
--- a/testsuite/tests/typecheck/should_compile/tc161.stderr
+++ b/testsuite/tests/typecheck/should_compile/tc161.stderr
@@ -1,5 +1,5 @@
 
-tc161.hs:17:10: warning: [-Wmissing-methods (in -Wdefault)]
+tc161.hs:17:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         ‘op’
     • In the instance declaration for ‘Foo Int’
diff --git a/testsuite/tests/typecheck/should_compile/tc175.stderr b/testsuite/tests/typecheck/should_compile/tc175.stderr
index 57959c1396..7359a63d10 100644
--- a/testsuite/tests/typecheck/should_compile/tc175.stderr
+++ b/testsuite/tests/typecheck/should_compile/tc175.stderr
@@ -1,5 +1,5 @@
 
-tc175.hs:13:10: warning: [-Wmissing-methods (in -Wdefault)]
+tc175.hs:13:10: warning: [GHC-06201] [-Wmissing-methods (in -Wdefault)]
     • No explicit implementation for
         either ‘showsPrec’ or ‘show’
     • In the instance declaration for ‘Show (a -> b)’