Я пытаюсь написать проверяемый интерфейс формы в Kotlin.В части проверки я использую https://github

РЕДАКТИРОВАТЬ: Добавлено в информации о F[_] Вот настройки.У нас есть родительский класс, который...

Вот что я пытаюсь сделать class Bar[P](val x: P) { type Foo = P } class Baz[R <: Bar[_]](bar: R)...

Я читал о Дотти, так как похоже, что она собирается стать scala 3, и заметил, что проекции типов...