summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/opaques.rs
AgeCommit message (Expand)AuthorLines
2023-05-25Match on both reveal and solver mode at the same timeMichael Goulet-41/+38
2023-05-25Add InferCtxt::register_hidden_type_in_new_solverMichael Goulet-3/+7
2023-05-25Pre-populate MIR with opaques, prefer subst-relate candidateMichael Goulet-6/+3
2023-05-25Check that opaque is a defining use, prefer pre-defined opaquesMichael Goulet-12/+45
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-13/+5
2023-05-25Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...Michael Goulet-0/+44