blob: df4f394dc373f63b0907eb069f7890a5ec9d8a59 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
// run-pass
#![allow(dead_code)]
#![allow(non_camel_case_types)]
// pretty-expanded FIXME #23616
trait hax {
fn dummy(&self) { }
}
impl<A> hax for A { }
fn perform_hax<T: 'static>(x: Box<T>) -> Box<dyn hax+'static> {
Box::new(x) as Box<dyn hax+'static>
}
fn deadcode() {
perform_hax(Box::new("deadcode".to_string()));
}
pub fn main() {
let _ = perform_hax(Box::new(42));
}
|
