charon
charon copied to clipboard
Bug: Cannot handle `panic::catch_unwind`
The following codes:
fn main() {
let _ = panic::catch_unwind(|| { });
}
Produces the following errors:
warning: found a built-in trait impl we did not recognize: core::panic::unwind_safe::UnwindSafe (lang_item=None)
--> test.rs:11:11
|
11 | let _ = panic::catch_unwind(|| { });
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
warning: Error during trait resolution: found a built-in trait impl we did not recognize: core::panic::unwind_safe::UnwindSafe (lang_item=None)
--> test.rs:11:11
|
11 | let _ = panic::catch_unwind(|| { });
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
This starts from the current default MIR and persists also in --mir elaborated.