Michael Goulet 29c3babd7c Rename unpack to kind		2025-05-27 11:14:45 +00:00
..
query	Rename	2025-05-26 08:48:19 +00:00
select	Rename unpack to kind	2025-05-27 11:14:45 +00:00
specialize	Use less rustc_type_ir in the compiler codebase	2025-04-30 16:42:33 +02:00
auto_trait.rs	Rename	2025-05-26 08:48:19 +00:00
coherence.rs	clean code: remove Deref<Target=RegionKind> impl for Region and use .kind()	2025-04-08 10:51:41 +08:00
const_evaluatable.rs	compiler: Use size_of from the prelude instead of imported	2025-03-07 13:37:04 -08:00
dyn_compatibility.rs	Use less rustc_type_ir in the compiler codebase	2025-04-30 16:42:33 +02:00
effects.rs	Rollup merge of #140516 - rperier:type-ir-to-type-middle, r=lcnr	2025-04-30 17:28:02 +02:00
engine.rs	eagerly check nested obligations when coercing fndefs	2025-05-21 11:09:48 +00:00
fulfill.rs	Rename	2025-05-26 08:48:19 +00:00
misc.rs	Move some Map methods onto TyCtxt.	2025-02-17 13:21:02 +11:00
mod.rs	Don't retry in pred_known_to_hold_modulo_regions in new solver, since new solver is more complete	2025-05-26 08:37:28 +00:00
normalize.rs	Document why we allow escaping bound vars in LTA norm	2025-05-21 20:09:41 +01:00
outlives_bounds.rs	Rename	2025-05-26 08:48:19 +00:00
project.rs	Return correct error term kind on projection errors	2025-05-22 12:02:45 +01:00
structural_normalize.rs	Rename unpack to kind	2025-05-27 11:14:45 +00:00
util.rs	re-use sized fast path	2025-04-09 10:42:26 +00:00
vtable.rs	Move has_self field to hir::AssocKind::Fn.	2025-04-14 16:13:04 +10:00
wf.rs	Rename unpack to kind	2025-05-27 11:14:45 +00:00