diff options
Diffstat (limited to 'src/test/ui/structs/struct-path-associated-type.rs')
-rw-r--r-- | src/test/ui/structs/struct-path-associated-type.rs | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/src/test/ui/structs/struct-path-associated-type.rs b/src/test/ui/structs/struct-path-associated-type.rs new file mode 100644 index 000000000..f88572f84 --- /dev/null +++ b/src/test/ui/structs/struct-path-associated-type.rs @@ -0,0 +1,37 @@ +struct S; + +trait Tr { + type A; +} + +impl Tr for S { + type A = S; +} + +fn f<T: Tr>() { + let s = T::A {}; + //~^ ERROR expected struct, variant or union type, found associated type + let z = T::A::<u8> {}; + //~^ ERROR expected struct, variant or union type, found associated type + //~| ERROR type arguments are not allowed on this type + match S { + T::A {} => {} + //~^ ERROR expected struct, variant or union type, found associated type + } +} + +fn g<T: Tr<A = S>>() { + let s = T::A {}; // OK + let z = T::A::<u8> {}; //~ ERROR type arguments are not allowed on this type + match S { + T::A {} => {} // OK + } +} + +fn main() { + let s = S::A {}; //~ ERROR ambiguous associated type + let z = S::A::<u8> {}; //~ ERROR ambiguous associated type + match S { + S::A {} => {} //~ ERROR ambiguous associated type + } +} |