tests/ui/const-generics/mgca/const-ctor-overflow-eval.rs

#![feature(min_generic_const_args, adt_const_params)]
#![expect(incomplete_features)]
use std::marker::ConstParamTy;

#[derive(ConstParamTy, PartialEq, Eq)]
struct U;

#[derive(ConstParamTy, PartialEq, Eq)]
//~^ ERROR overflow evaluating whether `S<U>` is well-formed
//~| ERROR overflow evaluating whether `S<U>` is well-formed

struct S<const N: U>()
where
    S<{ U }>:;
//~^ ERROR overflow evaluating whether `S<U>` is well-formed
//~| ERROR overflow evaluating whether `S<U>` is well-formed
//~| ERROR overflow evaluating whether `S<U>` is well-formed

fn main() {}