diff options
Diffstat (limited to 'src/test/ui/generic-associated-types/type-param-defaults.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/type-param-defaults.rs | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/src/test/ui/generic-associated-types/type-param-defaults.rs b/src/test/ui/generic-associated-types/type-param-defaults.rs deleted file mode 100644 index f034076b0..000000000 --- a/src/test/ui/generic-associated-types/type-param-defaults.rs +++ /dev/null @@ -1,34 +0,0 @@ -// Check that we disallow GAT param defaults, even with `invalid_type_param_default` allowed - -#![allow(invalid_type_param_default)] - -trait Trait { - type Assoc<T = u32>; - //~^ defaults for type parameters are only allowed -} - -impl Trait for () { - type Assoc<T = u32> = u64; - //~^ defaults for type parameters are only allowed -} - -impl Trait for u32 { - type Assoc<T = u32> = T; - //~^ defaults for type parameters are only allowed -} - -trait Other {} -impl Other for u32 {} - -fn foo<T>() -where - T: Trait<Assoc = u32>, - T::Assoc: Other { - } - -fn main() { - // errors - foo::<()>(); - // works - foo::<u32>(); -} |