summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generic-associated-types/type-param-defaults.rs
diff options
context:
space:
mode:
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.rs34
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>();
-}