3 #![allow(non_camel_case_types)]
5 // pretty-expanded FIXME #23616
12 fn perform_hax<T: 'static>(x: Box<T>) -> Box<dyn hax+'static> {
13 Box::new(x) as Box<dyn hax+'static>
17 perform_hax(Box::new("deadcode".to_string()));
21 let _ = perform_hax(Box::new(42));