Michael Goulet 89d0e7c033 Fix ProvenVia for global where clauses		2025-04-05 16:23:25 +00:00
..
solve	Fix ProvenVia for global where clauses	2025-04-05 16:23:25 +00:00
canonicalizer.rs	Fold visit into ty	2025-03-15 06:34:36 +00:00
coherence.rs	Do not rely on type_var_origin in OrphanCheckErr::NonLocalInputType	2025-03-20 02:17:14 +00:00
delegate.rs	simplify Interner opaque types API	2025-04-01 23:24:28 +02:00
lib.rs	Implement lint against using Interner and InferCtxtLike in random compiler crates	2025-03-26 04:39:38 +00:00
resolve.rs	Fold visit into ty	2025-03-15 06:34:36 +00:00