Стирание типов на JVM

На JVM дженерики реализованы стиранием: при компиляции аргументы типов проверяются, а в байткоде остаётся сырой тип, List<String> и List<Int> в рантайме неотличимы. Из-за этого нельзя написать x is List<String>, нельзя получить T::class внутри обычной функции и нельзя создать экземпляр T. Две перегрузки, отличающиеся только аргументом дженерика, конфликтуют в байткоде, это лечится @JvmName. В Kotlin главный инструмент обхода это inline fun <reified T>: функция встраивается в место вызова, где тип известен, поэтому работают T::class.java и is T. Так сделаны filterIsInstance, decodeFromString и by viewModels. Иначе тип передают явно через KClass<T> или typeOf<T>(), а библиотеки вроде Gson используют TypeToken, потому что им нужен полный тип с аргументами.