Tymdercript: почему это не ошибка типа?

Question

Я пытаюсь понять степень вывод типа на работу в Teadercript.В следующем примере кода почему реализация GenCodicEtacodCodcodcodcodcodcodcodcodcodcodcodcodcodcodeМое понимание состоит в том, что пустой метод соответствует foo.

interface bar {
    horace: number;
}

interface baz {
    esplode: (string, number) => bool;
}

interface bazzer extends bar, baz { }

var foo: bazzer = {
    horace: 12,
    esplode: function () { }
}

var x = foo.esplode('crackers', 2);

.

Спасибо!

Answer 1

Спасибо, что посмотрели!

Это на самом деле ошибка.Когда функция напечатана контекстуально, мы должны рассматривать его так, как будто аннотация типа возврата существует, что представляет собой предполагаемый тип возврата (на раздел 4.9 на основе языка), поэтому вы правы в том, что должна быть ошибка.

У меня уже есть исправление для этого, но вы можете подать ошибку на сайте CodePlex, поэтому наша команда может отслеживать его?Я могу протолкнуть исправить нашу разрабатывать филиал сегодня днем.

Спасибо снова!