A empresa XYZ Ltda. ajuizou ação de mandado de segurança a ...

A empresa XYZ Ltda. ajuizou ação de mandado de segurança a fim de que não fosse obrigada a recolher determinado imposto federal alegando a inconstitucionalidade do referido tributo. O juiz proferiu sentença concedendo a ordem pleiteada, declarando para tanto a inconstitucionalidade da lei. Indignada, a União federal interpôs recurso ao tribunal, que manteve a decisão pelos mesmos fundamentos. Por fim, a União federal interpôs recurso ao STF, que também manteve a decisão, reafirmando a inconstitucionalidade da lei tributária.
Diante desse caso, é correto afirmar que a declaração de inconstitucionalidade