1f84e114f1
normalization: avoid incompletely constraining GAT args We need to copy the behavior of #125214 in the new solver. This fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/202 which seems to be the cause of the regression in `deptypes`. r? ```@compiler-errors``` |
||
|---|---|---|
| .. | ||
| solve | ||
| canonicalizer.rs | ||
| coherence.rs | ||
| delegate.rs | ||
| lib.rs | ||
| resolve.rs | ||