Should we deeply normalize during writeback, or at the post-typeck places that need a "structurally resolved" type? #3
Labels
A-normalization
not-blocking-coherence
An issue we can resolve after stabilizing the new solver during coherence
This code currently ICEs with:
This is because we expect for the types in the writeback results to have been normalized deeply, and other code (e.g. MIR build, MIR validation, late lints, reachability and dead code analysis) expect that
Ty::kind
calls "just work" without any further normalization.We can either:
The text was updated successfully, but these errors were encountered: