fn implemented_method<'tcx>( tcx: TyCtxt<'tcx>, instance: Instance<'tcx>, ) -> Option<(EarlyBinder<'tcx, TraitRef<'tcx>>, DefId, DefId)>