[llvm] [TableGen][GlobalISel] Add rule-wide type inference (PR #66377)

[Matt Arsenault via llvm-commits]

================
@@ -151,7 +151,7 @@ def bad_imm_too_many_args : GICombineRule<
   (match (COPY $x, (i32 0, 0)):$d),
   (apply (COPY $x, $b):$d)>;
 
-// CHECK: :[[@LINE+2]]:{{[0-9]+}}: error: cannot parse immediate '(COPY 0)', 'COPY' is not a ValueType
+// CHECK: :[[@LINE+2]]:{{[0-9]+}}: error: unknown type 'COPY'
----------------
arsenm wrote:

This is a diagnostic quality regression 

https://github.com/llvm/llvm-project/pull/66377