rust/compiler/rustc_middle/src
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
..
dep_graph Use a dyn Debug trait object instead of a closure. 2024-03-27 10:59:18 +00:00
hir Auto merge of #124401 - oli-obk:some_hir_cleanups, r=cjgillot 2024-05-04 00:32:27 +00:00
hooks Rollup merge of #124016 - DaniPopes:dedup-default-providers, r=lcnr 2024-04-16 21:41:26 +02:00
infer Remove extern crate rustc_macros from rustc_middle. 2024-04-29 11:19:16 +10:00
middle Remove extern crate bitflags from a couple of crates. 2024-04-29 18:47:54 +10:00
mir Auto merge of #124675 - matthiaskrgr:rollup-x6n79ua, r=matthiaskrgr 2024-05-03 19:46:04 +00:00
query Give items related to issue 33140 a more meaningful name 2024-04-30 22:27:19 +02:00
thir Track mutability of deref patterns 2024-04-20 15:59:54 +02:00
traits Higher ranked goal source, do overflow handling less badly 2024-05-02 21:56:14 -04:00
ty Rollup merge of #124610 - nnethercote:typenum, r=lcnr 2024-05-03 06:04:22 +02:00
util remove some ancient debug output, looks unused? 2024-04-13 11:30:48 +03:00
arena.rs Actually create ranged int types in the type system. 2024-04-08 12:02:19 +00:00
error.rs Remove extern crate rustc_macros from rustc_middle. 2024-04-29 11:19:16 +10:00
lib.rs Step bootstrap cfgs 2024-05-01 22:19:11 -04:00
lint.rs Remove extern crate rustc_macros from rustc_middle. 2024-04-29 11:19:16 +10:00
macros.rs Remove unnecessary braces from span_bug 2024-03-21 11:24:24 -04:00
metadata.rs Remove extern crate rustc_macros from rustc_middle. 2024-04-29 11:19:16 +10:00
tests.rs Give an item related to issue 27438 a more meaningful name 2024-04-30 22:27:19 +02:00
thir.rs Remove extern crate rustc_data_structures from numerous crates. 2024-04-29 18:45:14 +10:00
values.rs make Representability::Infinite carry ErrorGuaranteed 2024-03-14 20:52:13 +01:00