Em um dado caso, o Supremo Tribunal Federal (STF), em meio a julgamento de ação direta de inconstitucionalidade, julgou procedente o pedido com relação ao dispositivo impugnado “x”

O STF deverá aplicar a teoria da transcendência dos efeitos dos motivos determinantes para, em processo futuro, declarar também a inconstitucionalidade do dispositivo “y”.

O STF adotará a técnica da inconstitucionalidade por atração e declarará também a inconstitucionalidade do dispositivo “y”, mesmo ele não tendo sido objeto de impugnação.

O STF adotará a técnica da inconstitucionalidade progressiva, sujeitando à nulidade o dispositivo “y” com o passar do tempo e conforme for sendo assimilada a nulidade do dispositivo “x”.

O STF adotará a técnica da inconstitucionalidade circunstancial, no sentido de que o dispositivo “y” somente será inconstitucional naquilo que não puder ser lido sem conexão com o artigo “x”.

O STF limitará sua decisão ao artigo “x”, em prestígio ao princípio da congruência, somente discutindo sobre a validade do dispositivo “y” em processo em que a referida norma venha a ser impugnada.