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
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