Michael Goulet 322694ed56 Remove unused ErrorReporting variant from overflow handling		2024-01-12 17:00:32 +00:00
..
solve	readd the provisional cache	2024-01-09 09:15:56 +01:00
mod.rs	Remove unused ErrorReporting variant from overflow handling	2024-01-12 17:00:32 +00:00
query.rs	Remove Session methods that duplicate DiagCtxt methods.	2023-12-24 08:05:28 +11:00
select.rs	Remove unused ErrorReporting variant from overflow handling	2024-01-12 17:00:32 +00:00
solve.rs	dont discard overflow from normalizes-to goals	2023-12-18 09:01:54 +01:00
specialization_graph.rs	specialization_graph_of's errored field is used in the only call site, and used to immediately throw away the rest of the value. Let's use Result to statically signal that this is happening	2024-01-11 20:34:59 +00: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