Open
Description
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 rust-lang/rust#116040.