2 #![feature(generic_associated_types)]
4 // This test unsures that with_opt_const_param returns the
5 // def_id of the N param in the Foo::Assoc GAT.
8 type Assoc<const N: usize>;
9 fn foo<const N: usize>(&self) -> Self::Assoc<N>;
13 type Assoc<const N: usize> = [(); N];
14 fn foo<const N: usize>(&self) -> Self::Assoc<N> {
20 assert_eq!(().foo::<10>(), [(); 10]);