blob: 4616ea1f0137d66d11ddf9315bea58107d9fba21 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
//@ run-pass
#![allow(dead_code)]
#![allow(non_camel_case_types)]
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));
}
|
