Handle regions equivalent to 'static in non_local_bounds by matthewjasper · Pull Request #139668 · rust-lang/rust (original) (raw)

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm not sure if you've explained why projecting the free region to its representative affects the set of non_local_bounds that we return. It's not obvious from the definition of TransitiveRelation::parents, at least.

Like, if these are actually SCC's then I'm not sure why shuffling around which element in that SCC fixes things.

Is there something subtle going on with the fact that 'static is the first first region vid we allocate?