Так что честно кастить к типу *

А можно то же самое, но не скриншотом?

typealias MyScope = Scope<String, String>

data class Scope<C,  S> (val someC: C, val someS: S)

val scope = MyScope(someC = "thisIsC", someS = "thisIsS")

val scopes: HashMap<String, Scope<*, *>> = hashMapOf()

inline fun <reified T> Any?.isType() = this is T

fun main() {

   scopes["muScopeKey"] = scope


   val result1 = scopes["muScopeKey"] is MyScope
   val result2 = scopes["muScopeKey"].isType<MyScope>()
   println("result2 $result2 ")

}

знал что попросите)

Так MyScope это же не настоящий тип

Проверяется, что это скоуп, какие дженерики туда не передай

да нет же, не проверяется

Почему нет? Он же true вернёт, тайпалиас тут вообще непричем

Именно из за этого прямой is запрещён

он ничего не вернул потому что не скомпилился

Потому что компилятор не может проверить, а если спрятать за дженериком, то компилятор проверит что сможет

а никто и не говорил про алиас, речь о приведении и проверке типа

Так вроде всё логично работает

Если компилятор может понять, что ерунда написана, он об этом говорит, если спрятать ерунду от компилятор за дженериком, он не понимает и не говорит, я об этом

на стаке пишут что это всё проверяется корректно

думаю раз в компиляторе есть такие слова как inline fun <reified T> то он понимает что они значат

Просто знамени тип проверки на <Int, Int> и увидишь насколько правильно он проверяет

действительно, проверка не работает

как тогда проверить ?