summaryrefslogtreecommitdiffstats
path: root/src/test/ui/const-generics/backcompat/trait-resolution-breakage.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/backcompat/trait-resolution-breakage.rs')
-rw-r--r--src/test/ui/const-generics/backcompat/trait-resolution-breakage.rs18
1 files changed, 0 insertions, 18 deletions
diff --git a/src/test/ui/const-generics/backcompat/trait-resolution-breakage.rs b/src/test/ui/const-generics/backcompat/trait-resolution-breakage.rs
deleted file mode 100644
index df1c99e86..000000000
--- a/src/test/ui/const-generics/backcompat/trait-resolution-breakage.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-// check-pass
-
-trait Trait<T> {
- const ASSOC_CONST: usize = 0;
-}
-
-impl Trait<()> for u8 {}
-
-// `u8::ASSOC_CONST` is resolved today, but will be ambiguous
-// under lazy normalization.
-fn foo<T, U>() -> [(T, U); u8::ASSOC_CONST]
-where
- u8: Trait<T> + Trait<U>,
-{
- todo!()
-}
-
-fn main() {}