diff options
Diffstat (limited to 'src/test/ui/const-generics/type-dependent/issue-70586.rs')
-rw-r--r-- | src/test/ui/const-generics/type-dependent/issue-70586.rs | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/src/test/ui/const-generics/type-dependent/issue-70586.rs b/src/test/ui/const-generics/type-dependent/issue-70586.rs deleted file mode 100644 index 346ac4b72..000000000 --- a/src/test/ui/const-generics/type-dependent/issue-70586.rs +++ /dev/null @@ -1,30 +0,0 @@ -// check-pass -use std::marker::PhantomData; - -// This namespace is necessary for the ICE to trigger -struct Namespace; - -impl Namespace { - pub fn const_chunks_exact<T, const N: usize>() -> ConstChunksExact<'static, T, N> { - ConstChunksExact { inner: PhantomData } - } -} - - -#[derive(Debug)] -pub struct ConstChunksExact<'a, T, const N: usize> { - inner: PhantomData<&'a T> -} - -impl <'a, T, const N: usize> Iterator for ConstChunksExact<'a, T, { N }> { - type Item = &'a [T; N]; - - fn next(&mut self) -> Option<Self::Item> { - unreachable!() - } -} - -fn main() { - let mut chunks = Namespace::const_chunks_exact::<i32, 3usize>(); - let _next: &[i32; 3] = chunks.next().unwrap(); -} |