diff options
| author | Chayim Refael Friedman <chayimfr@gmail.com> | 2025-08-25 20:19:33 +0300 |
|---|---|---|
| committer | Chayim Refael Friedman <chayimfr@gmail.com> | 2025-08-25 20:23:18 +0300 |
| commit | aa49c0b8bb27700ab77fd8cb7231d18f4f6d2e97 (patch) | |
| tree | b327c26b7ad32835bcc165d3d88438a38a492acf /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | 781e0268eeab7fb8eca11034da595b2ee6a3dccb (diff) | |
| download | rust-aa49c0b8bb27700ab77fd8cb7231d18f4f6d2e97.tar.gz rust-aa49c0b8bb27700ab77fd8cb7231d18f4f6d2e97.zip | |
Normalize all types when finishing inference
The new solver does not eagerly normalize, but things after inference expect types to be normalized. rustc does the same. Also, I'm afraid other things in r-a don't expect results of the solver to be unnormalized. We'll need to handle that.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions