about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/coverage/mod.rs
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2025-02-16 17:14:05 +0100
committerGitHub <noreply@github.com>2025-02-16 17:14:05 +0100
commitea9c8d9c1736a2e9c40b453a81fe4da552391143 (patch)
treeba4e0f9da972d93bc166fce53aa9d2e7442ff24a /compiler/rustc_mir_transform/src/coverage/mod.rs
parentfc094a1813de0fb58cb9d4be00f5e86701000f2a (diff)
parent17071ff8a5bef6e0f801e7d6b73529d0e1053b81 (diff)
downloadrust-ea9c8d9c1736a2e9c40b453a81fe4da552391143.tar.gz
rust-ea9c8d9c1736a2e9c40b453a81fe4da552391143.zip
Rollup merge of #137102 - compiler-errors:name_regions2, r=oli-obk
Rework `name_regions` to not rely on reverse scc graph for non-member-constrain usages

Fixes https://github.com/rust-lang/rust/issues/137015

Splits the `name_regions` into two versions: One meant for member region constraint error reporting (which I've renamed to `name_regions_for_member_constraint`), and one meant *just* to replace region vids with an external region.

Use the latter in the usage sites I added in #136559, since the regions returned by `name_regions_for_member_constraint` are also not *totally* accurate (which is fine for how they're used for member region constraint error reporting -- they're intentionally returning overapproximated universal regions so that we have something to name in `+ use<'a>` suggestions, because opaques can only capture universal regions and since member region constraints don't insert any edges into the region graph, the error region is probably gonna be shorter than a universal region) and because that function requires the reverse scc graph to have been computed which isn't done for our usages in #136559.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions