We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0fff598 commit 25471baCopy full SHA for 25471ba
compiler/rustc_borrowck/src/eliminate_placeholders.rs
@@ -115,7 +115,8 @@ impl RegionTracker {
115
}
116
117
/// Returns `true` if during the annotated SCC reaches a placeholder
118
- /// with a universe larger than the smallest reachable one, `false` otherwise.
+ /// with a universe larger than the smallest nameable universe of any
119
+ /// reachable existential region.
120
pub(crate) fn has_incompatible_universes(&self) -> bool {
121
self.max_nameable_universe().cannot_name(self.max_placeholder_universe_reached)
122
0 commit comments