about summary refs log tree commit diff
path: root/tests/ui/coercion/cast-higher-ranked-unsafe-fn-ptr.rs
blob: 19723bee4d46e7bb0c731da1a28d373a1092245f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
//@ check-pass

fn higher_ranked_fndef(ctx: &mut ()) {}

fn test(higher_ranked_fnptr: fn(&mut ())) {
    fn as_unsafe<T>(_: unsafe fn(T)) {}

    // Make sure that we can cast higher-ranked fn items and pointers to
    // a non-higher-ranked target.
    as_unsafe(higher_ranked_fndef);
    as_unsafe(higher_ranked_fnptr);
}

fn main() {}