If the other dev can’t perform better than a junior dev, they shouldn’t be a senior dev. There’s no reason that you have to go up in the titles over time if you can’t improve your capabilities. Titles should reflect skill, not just be handed out due to age.
