summaryrefslogtreecommitdiffstats
path: root/tests/ui/associated-consts/mismatched_impl_ty_2.rs
blob: 539becfdc7c8287763b38b31e4350d0ca50bf9d5 (plain)
1
2
3
4
5
6
7
8
9
10
11
// 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;
}