diff options
| author | Chayim Refael Friedman <chayimfr@gmail.com> | 2025-08-25 20:56:45 +0300 |
|---|---|---|
| committer | Chayim Refael Friedman <chayimfr@gmail.com> | 2025-08-25 20:56:45 +0300 |
| commit | 4b5bb18c57270a5b823235397067ae82c64bf1f1 (patch) | |
| tree | bafe94021329dfe92f264ea44c3fa188b4afcc47 /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | aa49c0b8bb27700ab77fd8cb7231d18f4f6d2e97 (diff) | |
| download | rust-4b5bb18c57270a5b823235397067ae82c64bf1f1.tar.gz rust-4b5bb18c57270a5b823235397067ae82c64bf1f1.zip | |
Don't map Chalk's `Normalize` to next solver's `NormalizesTo`
`NormalizesTo` is a private predicate that should not be used outside the solver. For normalization, rustc uses `AliasRelate`, so replace with that.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions