]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 18f32b7 bbacfcb)
Auto merge of #95487 - cjgillot:menhir, r=oli-obk
authorbors <bors@rust-lang.org>
Sun, 10 Apr 2022 17:59:27 +0000 (17:59 +0000)
committerbors <bors@rust-lang.org>
Sun, 10 Apr 2022 17:59:27 +0000 (17:59 +0000)
commit027a232755fa9728e9699337267f6675dfd0a8ba
tree9dbdc83bbb585766936912f74dee789f19ef1daatree | snapshot
parent18f32b73bdb3833c18c73fe3062bde8e1721cccacommit | diff
parentbbacfcb6c4b25ad4741ae9cf32db342f7e612b29commit | diff
Auto merge of #95487 - cjgillot:menhir, r=oli-obk

Avoid accessing HIR from MIR passes

`hir_owner_nodes` contains a lot of information, and the query result is typically dirty. This forces dependent queries to be re-executed needlessly.

This PR refactors some accesses to HIR to go through more targeted queries that yield the same result.

Based on https://github.com/rust-lang/rust/pull/95435 and https://github.com/rust-lang/rust/pull/95436
Empowering everyone to build reliable and efficient software.