João da Silva foi contratado no ano 2000 pela empresa pública XPTO S/A, controlada pela União Federal, para a função de técnico em análises geológicas. No ano de 2020, João da Silva adquiriu o direito à aposentadoria segundo as regras então vigentes. A respeito dessa situação hipotética, é correto afirmar que João da Silva