12 commits

Author	SHA1	Message	Date
Nicholas Nethercote	99e036bd21	Remove extern crate rustc_middle from numerous crates.	2024-04-29 14:50:45 +10:00
Oli Scherer	8206cffc48	Merge check_mod_impl_wf and check_mod_type_wf	2024-03-07 06:27:09 +00:00
Michael Goulet	f37a919e96	Remove redundant Code from FulfillmentErrorCode variants	2024-01-12 16:34:39 +00:00
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

Renamed from compiler/rustc_trait_selection/src/traits/codegen.rs (Browse further)