1 #![feature(generic_const_exprs)]
2 #![allow(incomplete_features)]
4 pub struct ConstCheck<const CHECK: bool>;
7 impl True for ConstCheck<true> {}
13 fn pop(self) -> (Self::Newlen, Self::Output);
16 impl<T, const N: usize> OrdesDec for [T; N]
18 ConstCheck<{N > 1}>: True,
21 type Newlen = [T; N - 1];
24 fn pop(self) -> (Self::Newlen, Self::Output) {
25 let mut iter = IntoIter::new(self);
26 //~^ ERROR: failed to resolve: use of undeclared type `IntoIter`
27 let end = iter.next_back().unwrap();
28 let new = [(); N - 1].map(move |()| iter.next().unwrap());