tests/ui/const-generics/mgca/tuple_expr_arg_macroless.rs

//@ check-pass

#![feature(
    min_generic_const_args,
    macroless_generic_const_args,
    adt_const_params,
    unsized_const_params
)]
#![expect(incomplete_features)]

trait Trait {
    type const ASSOC: u32;
}

fn takes_tuple<const A: (u32, u32)>() {}
fn takes_nested_tuple<const A: (u32, (u32, u32))>() {}

fn generic_caller<T: Trait, const N: u32, const N2: u32>() {
    takes_tuple::<{ (N, N2) }>();
    takes_tuple::<{ (N, T::ASSOC) }>();

    takes_nested_tuple::<{ (N, (N, N2)) }>();
    takes_nested_tuple::<{ (N, (N, T::ASSOC)) }>();
}

fn main() {}