Mauro é Promotor de Justiça aposentado por tempo de serviço desde 1991. De acordo com o Supremo Tribunal Federal, observada a norma constitucional de anterioridade quando necessário, é correto afirmar que sua contribuição previdenciária como servidor inativo