tests/pretty/path-type-bounds.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//@ pp-exact


trait Tr {
    fn dummy(&self) {}
}
impl Tr for isize {}

fn foo<'a>(x: Box<Tr + Sync + 'a>) -> Box<Tr + Sync + 'a> { x }

fn main() {
    let x: Box<Tr + Sync>;

    Box::new(1isize) as Box<Tr + Sync>;
}