Esse código funciona, pois como atribuímos uma referência para uma ContaPoupanca na variável c, o compilador do C# troca do tipo da variável de Conta para ContaPoupanca
Você está vendo a versão anterior da nova experiência da Alura que estamos preparando para você. Em breve, ela ganha uma identidade visual novinha totalmente pensada em potencializar seus estudos!
Solucionado
Esse código funciona, pois como atribuímos uma referência para uma ContaPoupanca na variável c, o compilador do C# troca do tipo da variável de Conta para ContaPoupanca
Olá Bruno
Como o exercício o tipo da variável c é Conta, que não é ITributavel o compilador do C# não permite que essa variável seja passada para o método Adiciona do GerenciadorDeImpostos