CLOVIS
12/09/2024, 2:30 PMudalov
PermittedSubclasses
attribute is written, which makes switches over Kotlin sealed classes exhaustive in Java
But there are plans to support more, e.g. KT-65688.mbonnin
12/10/2024, 10:17 AM>= JvmTarget
and those were the 2 results indeed: https://github.com/search?q=repo%3AJetBrains%2Fkotlin%20%20%3E%3D%20JvmTarget&type=codembonnin
12/10/2024, 10:18 AMudalov
@JvmRecord data class
) are kinda related, but not really, since they are just forbidden unless JVM target is at least 15.mbonnin
12/10/2024, 10:21 AMjvmTarget