bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Check that universe can name other universe instead of equality

Browse source
This commit is contained in:
Santiago Pastorino 2023-08-25 18:03:04 -03:00
parent 78da436cbb
commit e2efb6ab29
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
1 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
compiler/rustc_infer/src/infer/lexical_region_resolve/mod.rs
View file

@ -215,11 +215,12 @@ impl<'cx, 'tcx> LexicalResolver<'cx, 'tcx> {
}
VarValue::Value(cur_region) => {
let lub = match *cur_region {
// If the empty and placeholder regions are in the same universe,
// then the LUB is the Placeholder region (which is the cur_region).
// If they are not in the same universe, the LUB is the Static lifetime.
// If this empty region is from a universe that can name the
// placeholder universe, then the LUB is the Placeholder region
// (which is the cur_region). Otherwise, the LUB is the Static
// lifetime.
RePlaceholder(placeholder)
if a_universe != placeholder.universe =>
if !a_universe.can_name(placeholder.universe) =>
{
self.tcx().lifetimes.re_static
}