blob: 5d538d2679dd8aade8aacdc85f2109145cb2acc6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#![feature(generic_const_exprs)]
#![feature(adt_const_params)]
#![allow(incomplete_features)]
#![allow(dead_code)]
#[derive(PartialEq, Eq)]
struct U;
struct S<const N: U>()
where
S<{ U }>:;
//~^ ERROR: overflow evaluating the requirement `S<{ U }> well-formed`
fn main() {}
|
