Michael Goulet a02a982ffc Make DeeplyNormalize a real type op		2025-02-11 19:24:07 +00:00
..
query	Make DeeplyNormalize a real type op	2025-02-11 19:24:07 +00:00
select	Rustfmt	2025-02-08 22:12:13 +00:00
specialize	Rename tcx.ensure() to tcx.ensure_ok()	2025-02-01 12:38:54 +11:00
auto_trait.rs	Move outlives env computation into methods	2025-01-28 18:55:03 +00:00
coherence.rs	Rustfmt	2025-02-08 22:12:13 +00:00
const_evaluatable.rs	introduce ty::Value	2025-01-30 17:47:44 +01:00
dyn_compatibility.rs	Remove unnecessary layout assertions for object-safe receivers	2025-02-04 01:50:31 +00:00
effects.rs	Implement const Destruct in old solver	2025-01-08 18:14:58 +00:00
engine.rs	Consolidate OutlivesEnv construction with resolve_regions	2025-01-28 18:55:03 +00:00
fulfill.rs	introduce ty::Value	2025-01-30 17:47:44 +01:00
misc.rs	Consolidate OutlivesEnv construction with resolve_regions	2025-01-28 18:55:03 +00:00
mod.rs	Rustfmt	2025-02-08 22:12:13 +00:00
normalize.rs	Assert that obligations are empty before deeply normalizing	2024-12-02 22:51:18 +00:00
outlives_bounds.rs	Move outlives env computation into methods	2025-01-28 18:55:03 +00:00
project.rs	Rustfmt	2025-02-08 22:12:13 +00:00
structural_normalize.rs	Rename structurally_normalize to structurally_normalize_ty	2025-01-22 07:04:53 +00:00
util.rs	Compiler: Finalize dyn compatibility renaming	2025-01-26 21:20:31 +01:00
vtable.rs	Ensure that we never try to monomorphize the upcasting of impossible dyn types	2025-01-31 18:43:20 +00:00
wf.rs	Prevent generic pattern types from being used in libstd	2025-02-06 09:25:30 +00:00