mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-12 23:29:04 +00:00
115b086850
Lazy type aliases: Diagostics: Detect bivariant ty params that are only used recursively Follow-up to errs's #127871. Extends the logic to cover LTAs, too, not just ADTs. This change only takes effect with the next-gen solver enabled as cycle errors like the one we have here are fatal in the old solver. That's my explanation anyways. r? compiler-errors
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.