bors bd8aabef31 Auto merge of #113291 - oli-obk:pretty_print_mir_const, r=RalfJung ... Specialize `try_destructure_mir_constant` for its sole user (pretty printing) We can't remove the query, as we need to invoke it from rustc_middle, but can only implement it in mir interpretation/const eval. r? `@RalfJung` for a first round. While we could move all the logic into pretty printing, that would end up duplicating a bit of code with const eval, which doesn't seem great either.		2023-07-06 00:00:38 +00:00
..
dep_graph	Allow LocalDefId as the argument to def_path_str	2023-04-21 22:27:20 +00:00
hir	Separate AnonConst from ConstBlock in HIR.	2023-06-02 21:25:18 +00:00
infer	Replace mk_const with Const::new_x methods	2023-07-04 14:26:33 +01:00
middle	privacy: Rename some variables for clarity	2023-06-15 21:25:47 +03:00
mir	Auto merge of #113291 - oli-obk:pretty_print_mir_const, r=RalfJung	2023-07-06 00:00:38 +00:00
query	Name the destructure_mir_constant query appropriately	2023-07-05 15:54:43 +00:00
thir	thir: Add Become expression kind	2023-06-27 09:03:05 +00:00
traits	Add some extra information to opaque type cycle errors	2023-07-05 07:43:35 +00:00
ty	Auto merge of #113291 - oli-obk:pretty_print_mir_const, r=RalfJung	2023-07-06 00:00:38 +00:00
util	Move expansion of query macros in rustc_middle to rustc_middle::query	2023-05-15 08:49:13 +02:00
arena.rs	Migrate predicates_of and caller_bounds to Clause	2023-06-26 23:12:03 +00:00
error.rs	Use translatable diagnostics in rustc_const_eval	2023-06-01 14:45:18 +00:00
lib.rs	s/drain_filter/extract_if/ for Vec, Btree{Map,Set} and LinkedList	2023-06-14 09:28:54 +02:00
lint.rs	Simplify some conditions	2023-06-27 07:40:47 +00:00
macros.rs	Simplify CloneLiftImpls and TrivialTypeTraversalImpls.	2023-04-16 14:19:50 +10:00
metadata.rs	rustc_metadata: Remove Span from ModChild	2023-04-18 17:25:04 +03:00
tests.rs	mv compiler to compiler/	2020-08-30 18:45:07 +03:00
thir.rs	thir: Add Become expression kind	2023-06-27 09:03:05 +00:00
values.rs	Put LayoutError behind reference to shrink result	2023-07-01 21:16:25 +02:00