It's kind of an inevitability though. The contracts of the original actors will be up pretty soon and they can't be renegotiated indefinitely. And yet Marvel isn't going to just end Marvel films once RDJ and co. leave. I expect a large part of why they cast Cumberbatch as Strange was as a replacement RDJ.