[FIR] Report UNSUPPORTED_FEATURE if jvm records feature is not enabled

This commit is contained in:
Andrey Zinovyev
2021-08-19 12:49:25 +03:00
committed by Space
parent c7008892fd
commit e8405c41d1
2 changed files with 15 additions and 1 deletions
@@ -5,7 +5,7 @@
public record JRecord(int x, CharSequence y) {}
// FILE: main.kt
<!NON_DATA_CLASS_JVM_RECORD!>@JvmRecord<!>
<!UNSUPPORTED_FEATURE!>@JvmRecord<!>
class MyRec(
val x: String,
val y: Int,