10 commits

Author	SHA1	Message	Date
Michael Goulet	e0acff796a	New trait solver is a property of inference context	2023-06-06 18:43:06 +00:00
Michael Goulet	f3c9c21658	Prepopulate opaques in canonical input	2023-05-25 03:21:22 +00:00
Michael Goulet	a2d7ffc635	Move DefiningAnchor	2023-05-25 03:21:21 +00:00
John Kåre Alsaker	fff20a703d	Move expansion of query macros in rustc_middle to rustc_middle::query	2023-05-15 08:49:13 +02:00
Oli Scherer	4f11f3b257	Convert predicates into Predicate in the Obligation constructor	2022-11-16 09:25:19 +00:00
Cameron Steffen	283abbf0e7	Change InferCtxtBuilder from enter to build	2022-10-07 07:10:40 -05:00
ouz-a	8716eae3b1	add tests and comment	2022-07-27 14:43:46 +03:00
ouz-a	4a0473c0f5	Bubble up obligations	2022-07-25 15:45:36 +03:00
Jacob Pratt	49c82f31a8	Remove crate visibility usage in compiler	2022-05-20 20:04:54 -04:00
mark	9e5f7d5631	mv compiler to compiler/	2020-08-30 18:45:07 +03:00

Renamed from src/librustc_traits/evaluate_obligation.rs (Browse further)