«Tese 118 - firmada pela Primeira Seção no julgamento do REsp Acórdão/STJ, acórdão publicado no DJe de 25/05/2009: «É necessária a efetiva comprovação do recolhimento feito a maior ou indevidamente para fins de declaração do direito à compensação tributária em sede de mandado de segurança.»
... ()
«Tema 118/STJ - Tese, apenas explicitadora do pensamento zavaskiano consignado no julgamento REsp. [jurnum=1.111.164/STJ exi=1] Acórdão/STJ[/jurnum]: (a) tratando-se de Mandado de Segurança impetrado com vistas a declarar o direito à compensação tributária, em virtude do reconhecimento da ilegalidade ou inconstitucionalidade da anterior 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 de compensação for submetido à verificação pelo Fisco; e (b) tratando-se de Mandado de Segurança com vistas a obter juízo específico sobre as parcelas a serem compensadas, com efetiva alegação da liquidez e certeza dos créditos, ou, ainda, na hipótese em que os efeitos da sentença supõem 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 suficiente dos valores indevidamente recolhidos representa a ausência de prova pré-constituída indispensável à propositura da ação mandamental.»
... ()
«Tema 118/STJ - Delimitação do alcance da tese firmada no Tema 118/STJ, segundo o qual, é necessária a efetiva comprovação do recolhimento feito a maior ou indevidamente para fins de declaração do direito à compensação tributária em sede de Mandado de Segurança. Tema 118/STJ - Tese firmada pela Primeira Seção no julgamento do REsp Acórdão/STJ, acórdão publicado no DJe de 25/05/2009: - É necessária a efetiva comprovação do recolhimento feito a maior ou indevidamente para fins de declaração do direito à compensação tributária em sede de mandado de segurança. Tese fixada nos REsps Acórdão/STJ e Acórdão/STJ (acórdãos publicados no DJe de 11/3/2019), explicitando o definido na tese firmada no REsp Acórdão/STJ: - (a) tratando-se de Mandado de Segurança impetrado com vistas a declarar o direito à compensação tributária, em virtude do reconhecimento da ilegalidade ou inconstitucionalidade da anterior 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 de compensação for submetido à verificação pelo Fisco; e (b) tratando-se de Mandado de Segurança com vistas a obter juízo específico sobre as parcelas a serem compensadas, com efetiva alegação da liquidez e certeza dos créditos, ou, ainda, na hipótese em que os efeitos da sentença supõem 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 suficiente dos valores indevidamente recolhidos representa a ausência de prova pré-constituída indispensável à propositura da ação mandamental.»
... ()