Sobre o controle de constitucionalidade exercido pelo Supremo Tribunal Federal, afirma-se que o Supremo tem recorrido a diversas técnicas de decisão chamadas de sentenças intermedi

a modulação temporal foi amplamente utilizada no julgamentos das Ações Diretas de Inconstitucionalidade 4.357 e 4.425 (25/3/2015), referentes ao sistema de precatórios da Emenda Constitucional nº 62 de 2009.

a "declaração de inconstitucionalidade sem pronúncia de nulidade" é equivalente ao "apelo ao Legislador".

o Supremo Tribunal Federal faz uma distinção rigorosa entre as sentenças interpretativas de "interpretação conforme a Constituição" e "declaração de inconstitucionalidade sem redução de texto".

o Supremo Tribunal Federal rejeita a utilização de sentenças transitivas.

as sentenças aditivas produzem os mesmos efeitos das sentenças substitutivas.