Ao julgar procedente uma ADI, determinado tribunal de justiça estadual declarou inconstitucional uma lei municipal, com fundamento em vício formal.

Nessa situação hipotética, de acordo com a jurisprudência do STF, contra a referida decisão