]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: b5ffbd3 36fa12f)
Rollup merge of #101496 - spastorino:lower_lifetime_binder_api_changes, r=oli-obk
authorDylan DPC <99973273+Dylan-DPC@users.noreply.github.com>
Thu, 8 Sep 2022 15:18:36 +0000 (20:48 +0530)
committerGitHub <noreply@github.com>
Thu, 8 Sep 2022 15:18:36 +0000 (20:48 +0530)
commit953a6b3da7016d41816951ad0930922f558c16d0
tree0c4c114c099e434a5a1adf49633bbf989f05adf6tree | snapshot
parentb5ffbd32d4838a460a73ce9aa106a4e1856e52c0commit | diff
parent36fa12f1a4c638f4d48462bfe94721b1b843004acommit | diff
Rollup merge of #101496 - spastorino:lower_lifetime_binder_api_changes, r=oli-obk

Allow lower_lifetime_binder receive a closure

``@oli-obk`` requested this and other changes as a way of simplifying https://github.com/rust-lang/rust/pull/101345. This is just going to make the diff of https://github.com/rust-lang/rust/pull/101345 smaller.

r? ``@oli-obk`` ``@cjgillot``
compiler/rustc_ast_lowering/src/expr.rs diff1 | diff2 | blob | history
compiler/rustc_ast_lowering/src/lib.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.