Rollup merge of #101800 - chriss0612:feat/const_split_at_mut, r=fee1-dead

[rust.git] / src / tools / miri / tests / pass / bad_substs.rs

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