15 lines
148 B
Rust
15 lines
148 B
Rust
//@ check-pass
|
|
|
|
trait T<const A: usize> {
|
|
fn f();
|
|
}
|
|
struct S;
|
|
|
|
impl T<0usize> for S {
|
|
fn f() {}
|
|
}
|
|
|
|
fn main() {
|
|
<S as T<0usize>>::f();
|
|
}
|