diff options
Diffstat (limited to 'src/test/ui/associated-types/associated-types-invalid-trait-ref-issue-18865.rs')
-rw-r--r-- | src/test/ui/associated-types/associated-types-invalid-trait-ref-issue-18865.rs | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/test/ui/associated-types/associated-types-invalid-trait-ref-issue-18865.rs b/src/test/ui/associated-types/associated-types-invalid-trait-ref-issue-18865.rs deleted file mode 100644 index 3bd3f3a75..000000000 --- a/src/test/ui/associated-types/associated-types-invalid-trait-ref-issue-18865.rs +++ /dev/null @@ -1,14 +0,0 @@ -// Test that we report an error if the trait ref in a qualified type -// uses invalid type arguments. - -trait Foo<T> { - type Bar; - fn get_bar(&self) -> Self::Bar; -} - -fn f<T:Foo<isize>>(t: &T) { - let u: <T as Foo<usize>>::Bar = t.get_bar(); - //~^ ERROR the trait bound `T: Foo<usize>` is not satisfied -} - -fn main() { } |