Recurso extraordinário. Direito Tributário. Imposto Sobre Circulação de Mercadorias e Serviços (ICMS). Substituição tributária progressiva. Destaque nas notas fiscais. Recolhimento antecipado pelo substituto. Base de cálculo. Contribuição ao Programa de Integração Social (PIS) e Contribuição para Financiamento da Seguridade Social (COFINS). Matéria infraconstitucional. Ausência de repercussão geral. Recurso extraordinário a que se nega seguimento. Firmada a seguinte tese de repercussão geral: É infraconstitucional, a ela se aplicando os efeitos da ausência de repercussão geral, a controvérsia relativa à inclusão do montante correspondente ao ICMS destacado nas notas fiscais ou recolhido antecipadamente pelo substituto em regime de substituição tributária progressiva na base de cálculo da contribuição ao PIS e da COFINS. RE 1.258.842 RG, DJ 15-09-2020.