Conforme o STF, a ação direta de inconstitucionalidade