tests/ui/impl-trait/diagnostics/highlight-difference-between-expected-trait-and-found-trait.rs


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

//@ only-linux
//@ compile-flags: --error-format=human --color=always
//@ error-pattern: the trait bound

trait Foo<T>: Bar<T> {}

trait Bar<T> {}

struct Struct;

impl<T, K> Foo<K> for T where T: Bar<K>
{}

impl<'a> Bar<()> for Struct {}

fn foo() -> impl Foo<i32> {
    Struct
}

fn main() {}