summaryrefslogtreecommitdiffstats
path: root/src/test/ui/const-generics/backcompat/unevaluated-consts.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/backcompat/unevaluated-consts.rs')
-rw-r--r--src/test/ui/const-generics/backcompat/unevaluated-consts.rs18
1 files changed, 0 insertions, 18 deletions
diff --git a/src/test/ui/const-generics/backcompat/unevaluated-consts.rs b/src/test/ui/const-generics/backcompat/unevaluated-consts.rs
deleted file mode 100644
index 3f90d22ae..000000000
--- a/src/test/ui/const-generics/backcompat/unevaluated-consts.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-// check-pass
-
-// If we allow the parent generics here without using lazy normalization
-// this results in a cycle error.
-struct Foo<T, U>(T, U);
-
-impl<T> From<[u8; 1 + 1]> for Foo<T, [u8; 1 + 1]> {
- fn from(value: [u8; 1 + 1]) -> Foo<T, [u8; 1 + 1]> {
- todo!();
- }
-}
-
-fn break_me<T>()
-where
- [u8; 1 + 1]: From<[u8; 1 + 1]>
-{}
-
-fn main() {}