Какая проблема произошла?

Пример теста:

type RF = (p: RF) => RF

function main(): int {
  let v1: RF = (p: RF): RF => { return RF }
  return 0;
}

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

Ожидается, что приведенный выше пример не скомпилируется.

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

Скомпилировать приведенный выше код:
./out/bin/es2panda ~/temp/cases/alias.ets --output ~/temp/cases/alias.abc

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

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

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