Esteban Küber 79bef72fd5 Track HirId instead of Span in ObligationCauseCode::SizedArgumentType ... This gets us more accurate suggestions.		2024-01-03 18:59:42 +00:00
..
solve	track the source of nested goals	2023-12-18 08:47:29 +01:00
mod.rs	Track HirId instead of Span in ObligationCauseCode::SizedArgumentType	2024-01-03 18:59:42 +00:00
query.rs	Remove Session methods that duplicate DiagCtxt methods.	2023-12-24 08:05:28 +11:00
select.rs	Check FnPtr/FnDef built-in fn traits correctly with effects	2023-12-18 20:28:06 +00:00
solve.rs	dont discard overflow from normalizes-to goals	2023-12-18 09:01:54 +01:00
specialization_graph.rs	Remove Session methods that duplicate DiagCtxt methods.	2023-12-24 08:05:28 +11:00
structural_impls.rs	Remove constness from ImplSource::Param	2023-08-14 02:17:30 +00:00
util.rs	Make sure that non-pretty-printing usages are using the correct elaborator	2023-10-18 03:05:38 +00:00