tests/ui/traits/bound/basic.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

//@ run-pass
#![allow(dead_code)]
#![allow(unconditional_recursion)]

//@ pretty-expanded FIXME #23616

trait Foo {
}

fn b(_x: Box<dyn Foo+Send>) {
}

fn c(x: Box<dyn Foo+Sync+Send>) {
    e(x);
}

fn d(x: Box<dyn Foo+Send>) {
    e(x);
}

fn e(x: Box<dyn Foo>) {
    e(x);
}

pub fn main() { }