Chayim Refael Friedman fd77af3a78 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.

2025-08-25 20:56:45 +03:00

..

src

Don't map Chalk's Normalize to next solver's NormalizesTo

2025-08-25 20:56:45 +03:00

Cargo.toml

Implement next trait solver

2025-08-09 16:08:58 +00:00