[llvm] [mlir] Introduce and use Verifier::visitDIType (PR #189067)

[Tom Tromey via llvm-commits]

================
@@ -1411,7 +1424,6 @@ void Verifier::visitDIDerivedType(const DIDerivedType &N) {
     }
   }
 
-  CheckDI(isScope(N.getRawScope()), "invalid scope", &N, N.getRawScope());
----------------
tromey wrote:

Thanks for the note.  I thought this was covered by delegating to the scope but it is not.  However I do think it should be hoisted into the `DIType` check.

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