//@ pp-exact:issue-31073.pp

fn main() {
    fn f1(x: i32, y: i32) -> i32 { y }
    let f: fn(_, i32) -> i32 = f1;
    f(1, 2);
}