rust/compiler/rustc_middle/src
lcnr 7b86c98068 do not use the global solver cache for proof trees
doing so requires overwriting global cache entries and
generally adds significant complexity to the solver. This is
also only ever done for root goals, so it feels easier to wrap
the `evaluate_canonical_goal` in an ordinary query if
necessary.
2024-08-12 10:33:04 +02:00
..
dep_graph Reformat use declarations. 2024-07-29 08:26:52 +10:00
hir Differentiate between methods and associated functions 2024-08-10 00:54:16 +00:00
hooks Reformat use declarations. 2024-07-29 08:26:52 +10:00
infer Reformat use declarations. 2024-07-29 08:26:52 +10:00
middle Hide implicit target features from diagnostics when possible 2024-08-07 00:43:52 -04:00
mir Rollup merge of #128494 - RalfJung:mir-lazy-lists, r=compiler-errors 2024-08-02 06:43:44 +02:00
query Auto merge of #128746 - compiler-errors:cache-super-outlives, r=lcnr 2024-08-10 10:22:06 +00:00
thir Track mutability of deref patterns 2024-04-20 15:59:54 +02:00
traits Reformat use declarations. 2024-07-29 08:26:52 +10:00
ty do not use the global solver cache for proof trees 2024-08-12 10:33:04 +02:00
util Reformat use declarations. 2024-07-29 08:26:52 +10:00
arena.rs do not use the global solver cache for proof trees 2024-08-12 10:33:04 +02:00
error.rs Reformat use declarations. 2024-07-29 08:26:52 +10:00
lib.rs Update std and compiler 2024-08-10 12:07:17 +02:00
lint.rs Only suggest #[allow] for --warn and --deny lint level flags 2024-08-08 13:09:58 +00:00
macros.rs lift_to_tcx -> lift_to_interner 2024-07-17 10:46:10 -04:00
metadata.rs Reformat use declarations. 2024-07-29 08:26:52 +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 Use a separate pattern type for rustc_pattern_analysis diagnostics 2024-07-31 16:03:27 +10:00
values.rs Reformat use declarations. 2024-07-29 08:26:52 +10:00