Home Original page

Downcast panic payload to String too in example. · model-checking/verify-rust-std@518722e

Original file line numberDiff line numberDiff line change

@@ -73,6 +73,8 @@ impl<'a> PanicHookInfo<'a> {

7373

/// panic::set_hook(Box::new(|panic_info| {

7474

/// if let Some(s) = panic_info.payload().downcast_ref::<&str>() {

7575

/// println!("panic occurred: {s:?}");

76+

/// } else if let Some(s) = panic_info.payload().downcast_ref::<String>() {

77+

/// println!("panic occurred: {s:?}");

7678

/// } else {

7779

/// println!("panic occurred");

7880

/// }