Michael Goulet fe4c995ccb Move trait selection error reporting to its own top-level module		2024-07-08 16:04:47 -04:00
..
error_reporting	Move trait selection error reporting to its own top-level module	2024-07-08 16:04:47 -04:00
solve	Move trait selection error reporting to its own top-level module	2024-07-08 16:04:47 -04:00
traits	Move trait selection error reporting to its own top-level module	2024-07-08 16:04:47 -04:00
errors.rs	Use a dedicated type instead of a reference for the diagnostic context	2024-06-18 15:42:11 +00:00
infer.rs	Actually just make can_eq process obligations (almost) everywhere	2024-07-05 11:59:54 -04:00
lib.rs	Move trait selection error reporting to its own top-level module	2024-07-08 16:04:47 -04:00
regions.rs	Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_with_diagnostics	2024-06-03 09:27:52 -04:00
solve.rs	Rename a bunch of things	2024-06-21 12:32:05 -04:00