about summary refs log tree commit diff
path: root/src/test/ui/const-generics/issues/issue-82956.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/issues/issue-82956.rs')
-rw-r--r--src/test/ui/const-generics/issues/issue-82956.rs33
1 files changed, 0 insertions, 33 deletions
diff --git a/src/test/ui/const-generics/issues/issue-82956.rs b/src/test/ui/const-generics/issues/issue-82956.rs
deleted file mode 100644
index 3539e9b966c..00000000000
--- a/src/test/ui/const-generics/issues/issue-82956.rs
+++ /dev/null
@@ -1,33 +0,0 @@
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features)]
-
-pub struct ConstCheck<const CHECK: bool>;
-
-pub trait True {}
-impl True for ConstCheck<true> {}
-
-pub trait OrdesDec {
-    type Newlen;
-    type Output;
-
-    fn pop(self) -> (Self::Newlen, Self::Output);
-}
-
-impl<T, const N: usize> OrdesDec for [T; N]
-where
-    ConstCheck<{N > 1}>: True,
-    [T; N - 1]: Sized,
-{
-    type Newlen = [T; N - 1];
-    type Output = T;
-
-    fn pop(self) -> (Self::Newlen, Self::Output) {
-        let mut iter = IntoIter::new(self);
-        //~^ ERROR: failed to resolve: use of undeclared type `IntoIter`
-        let end = iter.next_back().unwrap();
-        let new = [(); N - 1].map(move |()| iter.next().unwrap());
-        (new, end)
-    }
-}
-
-fn main() {}