diff options
Diffstat (limited to 'src/test/ui/generic-associated-types/issue-74816.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/issue-74816.rs | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/test/ui/generic-associated-types/issue-74816.rs b/src/test/ui/generic-associated-types/issue-74816.rs deleted file mode 100644 index 344afb87f..000000000 --- a/src/test/ui/generic-associated-types/issue-74816.rs +++ /dev/null @@ -1,21 +0,0 @@ -#![feature(associated_type_defaults)] - -trait Trait1 { - fn foo(); -} - -trait Trait2 { - type Associated: Trait1 = Self; - //~^ ERROR: the trait bound `Self: Trait1` is not satisfied - //~| the size for values of type `Self` cannot be known -} - -impl Trait2 for () {} - -fn call_foo<T: Trait2>() { - T::Associated::foo() -} - -fn main() { - call_foo::<()>() -} |