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