summaryrefslogtreecommitdiffstats
path: root/tests/ui/issues/issue-18819.rs
blob: e634c55f824fdf770f04658e7181b4ccdb79d119 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
trait Foo {
    type Item;
}

struct X;

impl Foo for X {
    type Item = bool;
}

fn print_x(_: &dyn Foo<Item=bool>, extra: &str) {
    println!("{}", extra);
}

fn main() {
    print_x(X);
    //~^ ERROR E0061
}