mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-07 09:13:07 +03:00
6863327ecc
support revealing defined opaque post borrowck By adding a new `TypingMode::PostBorrowckAnalysis`. Currently only supported with the new solver and I didn't look into the way we replace `ReErased`. ``@compiler-errors`` mentioned that always using existentials may be unsound. r? ``@compiler-errors``
For more information about how rustc works, see the rustc dev guide.