9 Commits

Author	SHA1	Message	Date
Michael Goulet	3f8919c09b	get rid of a bit more calls to poly_select	2023-07-06 16:50:12 +00:00
Michael Goulet	52f7384995	Separate select calls that don't need a binder	2023-07-06 16:50:12 +00:00
Michael Goulet	75a8f68183	Remove unnecessary DefineOpaqueTypes::Bubble from codegen	2023-06-27 21:36:15 +00:00
Michael Goulet	3d4da98273	Make TraitEngine::new use the right solver, add compare mode	2023-06-06 18:43:20 +00:00
Michael Goulet	a2d7ffc635	Move DefiningAnchor	2023-05-25 03:21:21 +00:00
Camille GILLOT	cb873b2d93	Separate trait selection from ambiguity reporting.	2023-01-27 18:57:10 +00:00
Maybe Waffle	6a28fb42a8	Remove double spaces after dots in comments	2023-01-17 08:09:33 +00:00
Michael Goulet	f769d34291	Assert defining anchor is set in take_opaque_types	2023-01-09 18:14:28 +00:00
Michael Goulet	25a6daccab	Move codegen_select_candidate to a rustc_traits	2022-12-08 05:16:57 +00:00