Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
9fc4d94d04f972782fee2dc5b3b25d052d88601a
/
.
/
compiler
/
testData
/
diagnostics
/
tests
/
declarationChecks
/
kt1193.kt
blob: 46b8a409df9c1dcda6bb06f415810ebfbfd49824 [
file
]
// DIAGNOSTICS: -UNUSED_PARAMETER
//KT-1193 Check enum entry supertype / initialization
package
kt1193
enum
class
MyEnum
(
val i
:
Int
)
{
A
(
12
),
<!
ENUM_ENTRY_SHOULD_BE_INITIALIZED
!>
B
<!>
//no error
}
open
class
A
(
x
:
Int
=
1
)
val x
:
MyEnum
=
MyEnum
.
A