diff options
Diffstat (limited to 'src/test/ui/did_you_mean/issue-21659-show-relevant-trait-impls-1.rs')
-rw-r--r-- | src/test/ui/did_you_mean/issue-21659-show-relevant-trait-impls-1.rs | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/test/ui/did_you_mean/issue-21659-show-relevant-trait-impls-1.rs b/src/test/ui/did_you_mean/issue-21659-show-relevant-trait-impls-1.rs new file mode 100644 index 000000000..1749137d4 --- /dev/null +++ b/src/test/ui/did_you_mean/issue-21659-show-relevant-trait-impls-1.rs @@ -0,0 +1,26 @@ +trait Foo<A> { + fn foo(&self, a: A) -> A { + a + } +} + +trait NotRelevant<A> { + fn nr(&self, a: A) -> A { + a + } +} + +struct Bar; + +impl Foo<i32> for Bar {} + +impl Foo<u8> for Bar {} + +impl NotRelevant<usize> for Bar {} + +fn main() { + let f1 = Bar; + + f1.foo(1usize); + //~^ error: the trait bound `Bar: Foo<usize>` is not satisfied +} |