`'erased` during analysis

rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.

https://rust-lang.github.io/types-team/

Apache License 2.0

94 stars 19 forks source link

`'erased` during analysis #101

Open lcnr opened 11 months ago

lcnr commented 11 months ago

Summary

We use 'erased in a few cases during analysis which feels weird to me. This does not have to be an actual deep dive, I would be equally happy to only have an up-to-date rustc-dev-guide section/chapter about 'erased.

Rationale

It nearly caused a soundness issue in https://github.com/rust-lang/rust/pull/116040.