blob: 37a8821c60ad471a2c3caf432b92af492d494a1f [file]
//@ check-pass
#![expect(incomplete_features)]
#![feature(min_generic_const_args)]
trait Trait {
type const N: usize;
fn process();
}
impl Trait for () {
type const N: usize = 3;
fn process() {
const N: usize = <()>::N;
_ = 0..Self::N;
}
}