This adds a new method Verifier::visitDIType, and then changes method for subclasses of DIType to call it. The new method just dispatches to DIScope and adds a file/line check inspired by Verifier::visitDISubprogram.
Multi-Level Intermediate Representation
See https://mlir.llvm.org/ for more information.