O julgamento de procedência de ação direta de inconstitucionalidade