mirror of
https://github.com/rust-lang/rust.git
synced 2026-04-28 03:07:24 +03:00
e3bf0a13cf
Use a proof tree visitor to refine the `Obligation` for error reporting in new solver With the magic of `ProofTreeVisitor`, we can close the gap that we have on `ObligationCause`s being not as descriptive in the new trait solver. r? lcnr Needs some work and obviously documentation.
For more information about how rustc works, see the rustc dev guide.