| //@ check-pass | |
| //@ compile-flags: -Znext-solver | |
| #![feature(generic_const_items)] | |
| #![feature(min_generic_const_args)] | |
| #![feature(generic_const_args)] | |
| #![expect(incomplete_features)] | |
| const ADD1<const N: usize>: usize = N + 1; | |
| const INC<const N: usize>: usize = N + 1; | |
| type const ONE: usize = ADD1::<0>; | |
| type const OTHER_ONE: usize = INC::<0>; | |
| const ARR: [(); ADD1::<0>] = [(); INC::<0>]; | |
| fn main() {} |