We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 52c7b8e commit 5ea5e9fCopy full SHA for 5ea5e9f
src/diagnostics.rs
@@ -88,6 +88,8 @@ pub fn report_error<'tcx, 'mir>(
88
"Undefined Behavior",
89
ResourceExhaustion(_) =>
90
"resource exhaustion",
91
+ InvalidProgram(InvalidProgramInfo::ReferencedConstant) =>
92
+ "post-monomorphization error",
93
_ =>
94
bug!("This error should be impossible in Miri: {}", e),
95
};
0 commit comments