Do not discard constraints on overflow if there was candidate ambiguity Fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/201. There's a pretty chunky justification in the test. r? lcnr |
||
|---|---|---|
| .. | ||
| solve | ||
| canonicalizer.rs | ||
| coherence.rs | ||
| delegate.rs | ||
| lib.rs | ||
| resolve.rs | ||