accept ReferencedConstant errors in Miri (can happen post-monomorphization)

This commit is contained in:
Ralf Jung 2020-08-10 09:02:45 +02:00
parent 52c7b8ec11
commit 5ea5e9fc2c

View File

@ -88,6 +88,8 @@ pub fn report_error<'tcx, 'mir>(
"Undefined Behavior",
ResourceExhaustion(_) =>
"resource exhaustion",
InvalidProgram(InvalidProgramInfo::ReferencedConstant) =>
"post-monomorphization error",
_ =>
bug!("This error should be impossible in Miri: {}", e),
};