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