It's unlikely that the scope annotations would get out of date.