diff options
Diffstat (limited to 'src/test/ui/associated-types/associated-types-incomplete-object.rs')
-rw-r--r-- | src/test/ui/associated-types/associated-types-incomplete-object.rs | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/src/test/ui/associated-types/associated-types-incomplete-object.rs b/src/test/ui/associated-types/associated-types-incomplete-object.rs deleted file mode 100644 index 4627dfd2b..000000000 --- a/src/test/ui/associated-types/associated-types-incomplete-object.rs +++ /dev/null @@ -1,31 +0,0 @@ -// Check that the user gets an error if they omit a binding from an -// object type. - -pub trait Foo { - type A; - type B; - fn boo(&self) -> <Self as Foo>::A; -} - -struct Bar; - -impl Foo for isize { - type A = usize; - type B = char; - fn boo(&self) -> usize { - 42 - } -} - -pub fn main() { - let a = &42isize as &dyn Foo<A=usize, B=char>; - - let b = &42isize as &dyn Foo<A=usize>; - //~^ ERROR the value of the associated type `B` (from trait `Foo`) must be specified - - let c = &42isize as &dyn Foo<B=char>; - //~^ ERROR the value of the associated type `A` (from trait `Foo`) must be specified - - let d = &42isize as &dyn Foo; - //~^ ERROR the value of the associated types `A` (from trait `Foo`), `B` (from trait -} |