Function resolve_trait_ref_impl_id

pub fn resolve_trait_ref_impl_id<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    trait_ref: TraitRef<'tcx>,
) -> Option<(DefId, GenericArgsRef<'tcx>)>