Uma empresa foi notificada pela Autoridade Tributária para pagamento de um débito tributário. Antes de realizar o pagamento, a empresa entrou com uma ação judicial questionando a legalidade do tributo. Durante o processo, a empresa fez um depósito judicial do montante integral do débito, e posteriormente, o juízo competente declarou a inconstitucionalidade do tributo em questão. Diante dessa situação, a empresa deseja saber quais são as modalidades de extinção do crédito tributário aplicáveis ao seu caso. Com base nesse contexto, assinale a alternativa correta sobre as modalidades de extinção do crédito tributário: