| //@ run-pass | |
| #![expect(incomplete_features)] | |
| #![feature(min_generic_const_args, adt_const_params)] | |
| #![allow(dead_code)] | |
| macro_rules! make_array { | |
| ($n:expr, $m:expr, $p:expr) => { | |
| [N, $m, $p] | |
| }; | |
| } | |
| fn takes_array<const A: [u32; 3]>() {} | |
| fn generic_caller<const N: u32>() { | |
| takes_array::<{ make_array!(N, 2, 3) }>(); | |
| } | |
| fn main() {} |