blob: 5d130821dc8ef9336e635e16ad70e2d13c63a1b1 [file] [log] [blame]
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]
struct S<const S: (), const S: S = { S }>;
//~^ ERROR the name `S` is already used for a generic parameter in this item's generic parameters
//~| ERROR missing generics for struct `S`
//~| ERROR cycle detected when computing type of `S::S`
//~| ERROR cycle detected when computing type of `S`
//~| ERROR `()` is forbidden as the type of a const generic parameter
fn main() {}