Какова была проблема?

Спецификация гласит следующее: "Тип параметра на некоторой позиции в S1 является типовым параметром, а тип параметра на той же позиции в S2 — это любой ссылочный тип или типовой параметр". В соответствии с этим данный код должен выбрасывать ошибку CTE, так как два сигнатурных объявления являются перегрузочными эквивалентами.

class A<T> {
  foo(x: T): void {
  }

  foo(x: number): void {
  }
}

Какое поведение ожидалось?

Ошибка CTE для второй сигнатуры

Как воспроизвести эту ошибку?

Используя данный пример кода.

Дополнительная информация

В спецификации не указано, что должно произойти, если типовой параметр имеет ограничения. Наше мнение заключается в том, что мы должны учитывать эти ограничения, и если они запрещают использование другого ссылочного типа, то код должен компилироваться. Таким образом, этот пример должен компилироваться без ошибок:

class X {}

class A<T extends X> { // T не может быть number
  foo(x: T): void {
  }

  foo(x: number): void {
  }
}

Информация о версиях или ветках

• master
• 5.0-Beta1
• Release 4.1
• Release 4.0
• Release 3.2