user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/compiler/rustc_middle
History
Michael Goulet e3bf0a13cf
Rollup merge of #124418 - compiler-errors:better-cause, r=lcnr 
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.
2024-05-03 23:34:21 -04:00
..
src Rollup merge of #124418 - compiler-errors:better-cause, r=lcnr 2024-05-03 23:34:21 -04:00
Cargo.toml Fix pretty hir for anon consts in diagnostics 2024-04-15 18:48:12 -04:00
messages.ftl Add a custom panic message for resuming gen blocks after they panicked 2023-10-30 10:23:57 +00:00
README.md mv compiler to compiler/ 2020-08-30 18:45:07 +03:00

README.md

For more information about how rustc works, see the rustc dev guide.