DebugInfo Verifier: verify the actual type.