Tratando-se de mandado de segurança com vistas a obter juízo específico sobre as parcelas a serem compensadas, com a alegação da liquidez e certeza dos créditos, ou ainda, na hipótese em que os efeitos da sentença suponham a efetiva homologação da compensação a ser realizada, o crédito do contribuinte depende de quantificação, de modo que a inexistência de comprovação cabal dos valores indevidamente recolhidos representa a ausência de prova pré-constituída, indispensável à propositura do pedido de segurança.

É incabível a impetração de mandado de segurança para o reconhecimento de incompetência absoluta dos juizados especiais para o julgamento de uma demanda, ainda que já exista no processo decisão definitiva de turma recursal da qual não cabia mais recurso.

A teoria da encampação é aplicada no mandado de segurança quando presentes, cumulativamente, os seguintes requisitos: a) existência de vínculo hierárquico entre a autoridade que prestou informações e a que ordenou a prática do ato impugnado; b) manifestação a respeito do mérito nas informações prestadas; e c) ausência de modificação de competência estabelecida na Constituição Federal.

Tratando-se de mandado de segurança impetrado com vistas a declarar o direito a compensação tributária, em virtude do reconhecimento da ilegalidade ou inconstitucionalidade da exigência da exação, independentemente da apuração dos respectivos valores, é suficiente para esse efeito a comprovação cabal de que o impetrante ocupa a posição de credor tributário, visto que os comprovantes de recolhimento indevido serão exigidos posteriormente na esfera administrativa quando o procedimento a compensação for submetido a verificação pelo Fisco.