remove type traversal for mir constants r? `@oli-obk` cc `@b-naber`
AddToDiagnostic::add_to_diagnostic_with