lcnr 6188aae369 do not attempt to prove unknowable goals		2024-09-03 08:35:23 +02:00
..
relate	Uplift PredicateEmittingRelation first	2024-07-06 10:05:49 -04:00
solve	do not attempt to prove unknowable goals	2024-09-03 08:35:23 +02:00
canonicalizer.rs	Shrink TyKind::FnPtr.	2024-08-09 14:33:25 +10:00
coherence.rs	Shrink TyKind::FnPtr.	2024-08-09 14:33:25 +10:00
delegate.rs	Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr	2024-07-08 13:04:33 +08:00
lib.rs	Deny imports of rustc_type_ir::inherent outside of type ir + new trait solver	2024-09-01 12:16:18 -04:00
relate.rs	Uplift PredicateEmittingRelation first	2024-07-06 10:05:49 -04:00
resolve.rs	Reformat use declarations.	2024-07-29 08:26:52 +10:00