mirror of
https://github.com/rust-lang/rust.git
synced 2025-05-01 12:37:37 +00:00
![]() Detect trait upcasting through struct tail unsizing in new solver select Oops, we were able to hide trait upcasting behind a parent unsize goal that evaluated to `Certainty::Yes`. Let's do rematching for `Certainty::Yes` unsize goals with `BuiltinImplSource::Misc` sources (corresponding to all of the other unsize rules) to make sure we end up selecting any nested goals which may be satisfied via `BuiltinImplSource::TraitUpcasting` or `::TupleUnsizing`. r? ``@lcnr`` |
||
---|---|---|
.. | ||
solve | ||
traits | ||
errors.rs | ||
infer.rs | ||
lib.rs |