Robert Downey Jr. and Marvel have previously discussed a different character, according to Jon Favreau.