fn fetch_eligible_assoc_item_def<'tcx>(
ecx: &EvalCtxt<'_, 'tcx>,
param_env: ParamEnv<'tcx>,
goal_trait_ref: TraitRef<'tcx>,
trait_assoc_def_id: DefId,
impl_def_id: DefId
) -> Result<Option<LeafDef>, NoSolution>
Expand description
This behavior is also implemented in rustc_ty_utils
and in the old project
code.
FIXME: We should merge these 3 implementations as it’s likely that they otherwise diverge.