IQuant 467d367df7 Rename tuple_wrap_err_subdiag to suggest_wrap_to_build_a_tuple, making it more consistent with similar functions		2023-04-04 18:50:07 +03:00
..
errors	A more general implementation of IntoDiagnosticArg for Binder (Also removes DiagArg, as it's no longer necessary)	2023-04-04 18:50:07 +03:00
infer	Rename tuple_wrap_err_subdiag to suggest_wrap_to_build_a_tuple, making it more consistent with similar functions	2023-04-04 18:50:07 +03:00
traits	Don't elaborate non-obligations into obligations	2023-03-26 20:33:54 +00:00
lib.rs	Simplify message paths	2023-03-11 22:51:57 +01:00