charon icon indicating copy to clipboard operation
charon copied to clipboard

Bug: Cannot handle `panic::catch_unwind`

Open ssyram opened this issue 1 month ago • 0 comments

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.

ssyram avatar Nov 13 '25 03:11 ssyram