Atualização: nova redação do art. 40, § 1º, II (EC 88/2015).
Art. 40. Aos servidores titulares de cargos efetivos da União, dos Estados, do Distrito Federal e dos Municípios, incluídas suas autarquias e fundações, é assegurado regime de previdência de caráter contributivo e solidário, mediante contribuição do respectivo ente público, dos servidores ativos e inativos e dos pensionistas, observados critérios que preservem o equilíbrio financeiro e atuarial e o disposto neste artigo.
§ 1º Os servidores abrangidos pelo regime de previdência de que trata este artigo serão aposentados, calculados os seus proventos a partir dos valores fixados na forma dos §§ 3º e 17:
II - compulsoriamente, com proventos proporcionais ao tempo de contribuição, aos 70 (setenta) anos de idade, ou aos 75 (setenta e cinco) anos de idade, na forma de lei complementar.
David Neto, a lei ja foi editada sim. É a LC 152/2015, segue na integra:
Art. 1o Esta Lei Complementar dispõe sobre a aposentadoria compulsória por idade, com proventos proporcionais, no âmbito da União, dos Estados, do Distrito Federal e dos Municípios, dos agentes públicos aos quais se aplica o inciso II do § 1º do art. 40 da Constituição Federal.
Art. 2º Serão aposentados compulsoriamente, com proventos proporcionais ao tempo de contribuição, aos 75 (setenta e cinco) anos de idade:
I - os servidores titulares de cargos efetivos da União, dos Estados, do Distrito Federal e dos Municípios, incluídas suas autarquias e fundações;
II - os membros do Poder Judiciário;
III - os membros do Ministério Público;
IV - os membros das Defensorias Públicas;
V - os membros dos Tribunais e dos Conselhos de Contas.
Parágrafo único. Aos servidores do Serviço Exterior Brasileiro, regidos pela Lei nº 11.440, de 29 de dezembro de 2006, o disposto neste artigo será aplicado progressivamente à razão de 1 (um) ano adicional de limite para aposentadoria compulsória ao fim de cada 2 (dois) anos, a partir da vigência desta Lei Complementar, até o limite de 75 (setenta e cinco) anos previsto no caput.