3 #![allow(non_camel_case_types)]
5 // pretty-expanded FIXME #23616
7 #![feature(box_syntax)]
14 fn perform_hax<T: 'static>(x: Box<T>) -> Box<dyn hax+'static> {
15 box x as Box<dyn hax+'static>
19 perform_hax(box "deadcode".to_string());
23 let _ = perform_hax(box 42);