fn impl_trait_ref_has_enough_non_local_candidates<'tcx>(
    tcx: TyCtxt<'tcx>,
    infer_span: Span,
    trait_def_id: DefId,
    binder: EarlyBinder<TraitRef<'tcx>>,
    did_has_local_parent: impl FnMut(DefId) -> bool
) -> bool