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(&self) -> Self::Assoc<3>;
13 type Assoc<const N: usize> = [(); N];
14 fn foo(&self) -> Self::Assoc<3> {
20 assert_eq!(().foo(), [(); 3]);