diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2023-11-04 00:55:27 +0000 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2023-11-04 01:04:12 +0000 |
| commit | de7a8305ae2b6eef11133de783f5089a94928f79 (patch) | |
| tree | 14549c3957f84b88940d9141143423f4adea9aeb /compiler/rustc_parse/src/errors.rs | |
| parent | 5020f7c3b8bd8bf57077389bca5c19f7911fde7a (diff) | |
| download | rust-de7a8305ae2b6eef11133de783f5089a94928f79.tar.gz rust-de7a8305ae2b6eef11133de783f5089a94928f79.zip | |
traverse region graph instead of SCCs to compute polonius loan scopes
By using SCC for better performance, we also have to take into account SCCs whose representative is an existential region but also contains a placeholder. By only checking the representative, we may miss that the loan escapes the function. This can be fixed by picking a better representative, or removing placeholders from the main path. This is the simplest fix: forgo efficiency and traverse the region graph instead of the SCCs.
Diffstat (limited to 'compiler/rustc_parse/src/errors.rs')
0 files changed, 0 insertions, 0 deletions