12 lines
182 B
Rust
12 lines
182 B
Rust
|
//@ run-pass
|
||
|
|
trait Trait {
|
||
|
|
const ASSOC: fn(&'static u32);
|
||
|
|
}
|
||
|
|
impl Trait for () {
|
||
|
|
const ASSOC: for<'a> fn(&'a u32) = |_| ();
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
let _ = <() as Trait>::ASSOC;
|
||
|
|
}
|