//@ run-fail
//@ error-pattern:panicked
//@ error-pattern:Box<dyn Any>
//@ needs-subprocess
#![allow(non_fmt_panics)]
fn main() {
panic!(Box::new(413) as Box<dyn std::any::Any + Send>);
}