mirror of
https://github.com/rust-lang/rust.git
synced 2026-07-20 06:37:23 -04:00
3bb66d7229
First steps of late-bound turbofishing (place FnDef behind a dummy binder) r? oli-obk This PR is part of rust-lang/rust#156581. This should be functionally identical to prior behavior, with the added fact that FnDef now places its arguments behind a binder. most changes boil down to - replacing `args` from `FnDef` with `args.no_bound_vars().unwrap()` - replacing `Ty::new_fn_def(/* ... */, args)` with `Ty::new_fn_def(/* ... */, ty::Binder::dummy(args))`