blob: 5f5435ba9f289f81d15f4be68db007ce461dee57 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
// revisions: cfail
#![feature(generic_const_exprs)]
#![allow(incomplete_features, unused_braces)]
struct Buffer<T, const S: usize>
where
[(); { S * 2 }]: Default,
{
data: [T; { S * 2 }],
}
struct BufferIter<'a, T, const S: usize>(&'a Buffer<T, S>)
where
[(); { S * 2 }]: Default;
impl<'a, T, const S: usize> Iterator for BufferIter<'a, T, S> {
//~^ error: the trait bound
//~^^ error: unconstrained generic constant
type Item = &'a T;
fn next(&mut self) -> Option<Self::Item> {
//~^ error: the trait bound
//~^^ error: unconstrained generic constant
None
}
}
fn main() {}
|