Michael Goulet dd98198972 Match on both reveal and solver mode at the same time		2023-05-25 03:35:14 +00:00
..
assembly	Strongly prefer alias and param-env bounds	2023-05-25 03:35:14 +00:00
eval_ctxt	Add InferCtxt::register_hidden_type_in_new_solver	2023-05-25 03:35:14 +00:00
search_graph	Prepopulate opaques in canonical input	2023-05-25 03:21:22 +00:00
canonicalize.rs	rename needs_infer to has_infer	2023-04-27 08:35:19 +01:00
eval_ctxt.rs	Add InferCtxt::register_hidden_type_in_new_solver	2023-05-25 03:35:14 +00:00
fulfill.rs	Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaque_type	2023-05-25 03:19:15 +00:00
mod.rs	Pre-populate MIR with opaques, prefer subst-relate candidate	2023-05-25 03:35:14 +00:00
opaques.rs	Match on both reveal and solver mode at the same time	2023-05-25 03:35:14 +00:00
project_goals.rs	Prepopulate opaques in canonical input	2023-05-25 03:21:22 +00:00
trait_goals.rs	Use Option::is_some_and and Result::is_ok_and in the compiler	2023-05-24 14:20:41 +00:00