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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

//@ check-pass

#![feature(min_generic_const_args)]
#![allow(incomplete_features)]

pub trait Tr<X> {
    #[type_const]
    const SIZE: usize;
}

fn mk_array<T: Tr<bool>>(_x: T) -> [(); <T as Tr<bool>>::SIZE] {
    [(); T::SIZE]
}

fn main() {}