//@ pp-exact fn from_foreign_fn(_x: fn()) {} fn from_stack_closure(_x: F) where F: Fn() {} fn main() {}