fn assemble_candidates_from_param_env<'cx, 'tcx>(
    selcx: &mut SelectionContext<'cx, 'tcx>,
    obligation: &ProjectionTyObligation<'tcx>,
    candidate_set: &mut ProjectionCandidateSet<'tcx>
)
Expand description

The first thing we have to do is scan through the parameter environment to see whether there are any projection predicates there that can answer this question.