blob: 838b9da109b1f30645cbecb19a3b49ffef328126 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
//@ run-pass
#![allow(dead_code)]
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() {
perform_hax(Box::new(42));
}
|
