Files
rust/tests/ui/const-generics/gca/basic-different-definitions.rs
2026-04-02 12:06:25 +02:00

19 lines
403 B
Rust

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