mirror of https://github.com/rust-lang/rust
21 lines
417 B
Rust
21 lines
417 B
Rust
//@ run-pass
|
|
|
|
// This test unsures that with_opt_const_param returns the
|
|
// def_id of the N param in the Foo::Assoc GAT.
|
|
|
|
trait Foo {
|
|
type Assoc<const N: usize>;
|
|
fn foo<const N: usize>(&self) -> Self::Assoc<N>;
|
|
}
|
|
|
|
impl Foo for () {
|
|
type Assoc<const N: usize> = [(); N];
|
|
fn foo<const N: usize>(&self) -> Self::Assoc<N> {
|
|
[(); N]
|
|
}
|
|
}
|
|
|
|
fn main() {
|
|
assert_eq!(().foo::<10>(), [(); 10]);
|
|
}
|