path: root/src/tools/miri/tests/pass/bad_substs.rs

fn main() {
    let f: fn(i32) -> Option<i32> = Some::<i32>;
    f(42);
}