diff --git a/idea/testData/checker/Abstract.kt b/idea/testData/checker/Abstract.kt index 81de10d88dc..4c912bd703e 100644 --- a/idea/testData/checker/Abstract.kt +++ b/idea/testData/checker/Abstract.kt @@ -94,6 +94,7 @@ interface MyTrait { } enum class MyEnum() { + ; //properties val a: Int diff --git a/idea/testData/copyPaste/imports/EnumEntries.kt b/idea/testData/copyPaste/imports/EnumEntries.kt index 11edfd3438f..9e69a4e4e0a 100644 --- a/idea/testData/copyPaste/imports/EnumEntries.kt +++ b/idea/testData/copyPaste/imports/EnumEntries.kt @@ -1,9 +1,9 @@ package a enum class A { - A - B - C + A, + B, + C; fun f() { A diff --git a/idea/testData/debugger/positionManager/enum.kt b/idea/testData/debugger/positionManager/enum.kt index 7719b9b5cce..1f055d68ad3 100644 --- a/idea/testData/debugger/positionManager/enum.kt +++ b/idea/testData/debugger/positionManager/enum.kt @@ -1,4 +1,5 @@ enum class E { + ; fun foo() { "" // E } diff --git a/idea/testData/decompiler/decompiledText/Enum/Enum.kt b/idea/testData/decompiler/decompiledText/Enum/Enum.kt index 17a7da31c98..3908c0d7bbc 100644 --- a/idea/testData/decompiler/decompiledText/Enum/Enum.kt +++ b/idea/testData/decompiler/decompiledText/Enum/Enum.kt @@ -3,9 +3,9 @@ package test import dependency.* enum class Enum { - A B C D E F { + A, B, C, D, E, F { override fun f() = 4 - } + }; companion object { val c: Int = 1 diff --git a/idea/testData/decompiler/navigation/library/main.kt b/idea/testData/decompiler/navigation/library/main.kt index e6e07417097..add30ba2309 100644 --- a/idea/testData/decompiler/navigation/library/main.kt +++ b/idea/testData/decompiler/navigation/library/main.kt @@ -34,9 +34,9 @@ public object NamedObject { } public enum class Color(val rgb : Int) { - RED : Color(0xFF0000) - GREEN : Color(0x00FF00) - BLUE : Color(0x0000FF) + RED(0xFF0000), + GREEN(0x00FF00), + BLUE(0x0000FF) } public abstract class ClassWithAbstractAndOpenMembers { diff --git a/idea/testData/decompiler/navigation/usercode/Enum.kt b/idea/testData/decompiler/navigation/usercode/Enum.kt index c1709a55747..8f1120409f6 100644 --- a/idea/testData/decompiler/navigation/usercode/Enum.kt +++ b/idea/testData/decompiler/navigation/usercode/Enum.kt @@ -5,4 +5,4 @@ val rgb = color?.rgb // main.kt //public enum class <1><2>Color(val <4>rgb : Int) { -// <3>RED : Color(0xFF0000) \ No newline at end of file +// <3>RED(0xFF0000), \ No newline at end of file diff --git a/idea/testData/decompiler/stubBuilder/Annotations/Annotations.kt b/idea/testData/decompiler/stubBuilder/Annotations/Annotations.kt index d1043f32080..44b75847471 100644 --- a/idea/testData/decompiler/stubBuilder/Annotations/Annotations.kt +++ b/idea/testData/decompiler/stubBuilder/Annotations/Annotations.kt @@ -34,4 +34,4 @@ target(AnnotationTarget.PROPERTY, AnnotationTarget.FUNCTION, AnnotationTarget.CL AnnotationTarget.CONSTRUCTOR, AnnotationTarget.TYPE) annotation(repeatable = true, retention = AnnotationRetention.SOURCE) class b(val e: E) -enum class E { E1 E2 } \ No newline at end of file +enum class E { E1, E2 } \ No newline at end of file diff --git a/idea/testData/decompiler/stubBuilder/Enum/Enum.kt b/idea/testData/decompiler/stubBuilder/Enum/Enum.kt index 2436c5903d4..00aa98aaa6a 100644 --- a/idea/testData/decompiler/stubBuilder/Enum/Enum.kt +++ b/idea/testData/decompiler/stubBuilder/Enum/Enum.kt @@ -1,9 +1,9 @@ package a.b.c.test.enum enum class Enum { - A B C D E F { + A, B, C, D, E, F { override fun f() = 4 - } + }; open fun f() = 3 diff --git a/idea/testData/editor/optimizeImports/Enums.dependency.kt b/idea/testData/editor/optimizeImports/Enums.dependency.kt index 36cb4446aae..0caa7445866 100644 --- a/idea/testData/editor/optimizeImports/Enums.dependency.kt +++ b/idea/testData/editor/optimizeImports/Enums.dependency.kt @@ -2,15 +2,15 @@ package dependency class D { enum class E1 { - E11 + E11, E12 } enum class E2 { - E21 + E21, E22 } enum class E3 { - E31 + E31, E32 } } \ No newline at end of file diff --git a/idea/testData/formatter/DelegationList.after.inv.kt b/idea/testData/formatter/DelegationList.after.inv.kt index 19bb53c588b..a02ff1fc36a 100644 --- a/idea/testData/formatter/DelegationList.after.inv.kt +++ b/idea/testData/formatter/DelegationList.after.inv.kt @@ -27,9 +27,8 @@ open class C1 open class C2 enum class Test : A1 { - FIRST_ITEM : Test() - SECOND_ITEM : - Test() + FIRST_ITEM(), + SECOND_ITEM() } // SET_TRUE: ALIGN_MULTILINE_EXTENDS_LIST \ No newline at end of file diff --git a/idea/testData/formatter/DelegationList.after.kt b/idea/testData/formatter/DelegationList.after.kt index 2cbca576e4e..ec88d686341 100644 --- a/idea/testData/formatter/DelegationList.after.kt +++ b/idea/testData/formatter/DelegationList.after.kt @@ -27,9 +27,8 @@ open class C1 open class C2 enum class Test : A1 { - FIRST_ITEM : Test() - SECOND_ITEM : - Test() + FIRST_ITEM(), + SECOND_ITEM() } // SET_TRUE: ALIGN_MULTILINE_EXTENDS_LIST \ No newline at end of file diff --git a/idea/testData/formatter/DelegationList.kt b/idea/testData/formatter/DelegationList.kt index 986cedf0a93..a21bb5e829e 100644 --- a/idea/testData/formatter/DelegationList.kt +++ b/idea/testData/formatter/DelegationList.kt @@ -27,9 +27,8 @@ open class C1 open class C2 enum class Test : A1 { - FIRST_ITEM : Test() - SECOND_ITEM : - Test() + FIRST_ITEM(), + SECOND_ITEM() } // SET_TRUE: ALIGN_MULTILINE_EXTENDS_LIST \ No newline at end of file diff --git a/idea/testData/formatter/EmptyLineAfterObjectDeclaration.after.kt b/idea/testData/formatter/EmptyLineAfterObjectDeclaration.after.kt index 6db26124a6e..c31b050a45a 100644 --- a/idea/testData/formatter/EmptyLineAfterObjectDeclaration.after.kt +++ b/idea/testData/formatter/EmptyLineAfterObjectDeclaration.after.kt @@ -29,8 +29,7 @@ interface T1 // ----- enum class E1 { - ENTRY - + ENTRY; object O7 } @@ -67,8 +66,7 @@ interface T2 // ----- enum class E2 { - ENTRY - + ENTRY; object O14 {} } @@ -110,8 +108,7 @@ interface T3 // ----- enum class E3 { - ENTRY - + ENTRY; object O21 { } } diff --git a/idea/testData/formatter/EmptyLineAfterObjectDeclaration.kt b/idea/testData/formatter/EmptyLineAfterObjectDeclaration.kt index 58564f47b3b..b77b5d4e5da 100644 --- a/idea/testData/formatter/EmptyLineAfterObjectDeclaration.kt +++ b/idea/testData/formatter/EmptyLineAfterObjectDeclaration.kt @@ -24,7 +24,7 @@ interface T1 // ----- enum class E1 { - ENTRY + ENTRY; object O7 } @@ -56,7 +56,7 @@ interface T2 // ----- enum class E2 { - ENTRY + ENTRY; object O14 {} } @@ -93,7 +93,7 @@ interface T3 // ----- enum class E3 { - ENTRY + ENTRY; object O21 { } } diff --git a/idea/testData/formatter/EmptyLineBetweenEnumEntries.after.kt b/idea/testData/formatter/EmptyLineBetweenEnumEntries.after.kt index 4f247fb1b5f..1ed633c2c8e 100644 --- a/idea/testData/formatter/EmptyLineBetweenEnumEntries.after.kt +++ b/idea/testData/formatter/EmptyLineBetweenEnumEntries.after.kt @@ -1,28 +1,27 @@ -enum class E1 { F S T } +enum class E1 { F, S, T } enum class E2 { - F S T + F, S, T } enum class E3 { - F S T + F, S, T } enum class E4 { F { - } - S T + }, + S, T } -enum class E5 { F S {} T } +enum class E5 { F, S {}, T } enum class E6 { - F S T {} + F, S, T {} } enum class E7 { F { - } - S T + }, S, T } \ No newline at end of file diff --git a/idea/testData/formatter/EmptyLineBetweenEnumEntries.kt b/idea/testData/formatter/EmptyLineBetweenEnumEntries.kt index 890c22932ed..5fe0e10e560 100644 --- a/idea/testData/formatter/EmptyLineBetweenEnumEntries.kt +++ b/idea/testData/formatter/EmptyLineBetweenEnumEntries.kt @@ -1,25 +1,25 @@ -enum class E1 { F S T } +enum class E1 { F, S, T } enum class E2 { - F S T + F, S, T } enum class E3 { - F S T} + F, S, T} enum class E4 { F { - } - S T} + }, + S, T} -enum class E5 { F S {} T } +enum class E5 { F, S {}, T } enum class E6 { -F S T {} +F, S, T {} } enum class E7 { F { - } S T + }, S, T } \ No newline at end of file diff --git a/idea/testData/formatter/NewLineForRBrace.after.kt b/idea/testData/formatter/NewLineForRBrace.after.kt index c2490184dd1..1d5bfe62f0c 100644 --- a/idea/testData/formatter/NewLineForRBrace.after.kt +++ b/idea/testData/formatter/NewLineForRBrace.after.kt @@ -1,9 +1,9 @@ -enum class E1 { F S T } +enum class E1 { F, S, T } -enum class E2 { F S T } +enum class E2 { F, S, T } enum class E3 { - F S T + F, S, T } class C1 {} @@ -27,7 +27,7 @@ interface T2 { } enum class E1 { - EE1 {} + EE1 {}, EE2 { val some = 1 } diff --git a/idea/testData/formatter/NewLineForRBrace.kt b/idea/testData/formatter/NewLineForRBrace.kt index a646059d7f3..a796f59153a 100644 --- a/idea/testData/formatter/NewLineForRBrace.kt +++ b/idea/testData/formatter/NewLineForRBrace.kt @@ -1,9 +1,9 @@ -enum class E1 { F S T } +enum class E1 { F, S, T } -enum class E2 { F S T} +enum class E2 { F, S, T} enum class E3 { - F S T} + F, S, T} class C1 {} @@ -21,7 +21,7 @@ interface T2 { val some = 1} enum class E1 { - EE1 {} + EE1 {}, EE2 { val some = 1} } diff --git a/idea/testData/indentationOnNewline/InEnumAfterSemicolon.after.inv.kt b/idea/testData/indentationOnNewline/InEnumAfterSemicolon.after.inv.kt index 9aa3f83d1bb..674aa185f1d 100644 --- a/idea/testData/indentationOnNewline/InEnumAfterSemicolon.after.inv.kt +++ b/idea/testData/indentationOnNewline/InEnumAfterSemicolon.after.inv.kt @@ -1,6 +1,6 @@ // SET_TRUE: ALIGN_MULTILINE_EXTENDS_LIST enum class EnumTest { - ENTRY: EnumTest(); + ENTRY(); } diff --git a/idea/testData/indentationOnNewline/InEnumAfterSemicolon.after.kt b/idea/testData/indentationOnNewline/InEnumAfterSemicolon.after.kt index 9aa3f83d1bb..674aa185f1d 100644 --- a/idea/testData/indentationOnNewline/InEnumAfterSemicolon.after.kt +++ b/idea/testData/indentationOnNewline/InEnumAfterSemicolon.after.kt @@ -1,6 +1,6 @@ // SET_TRUE: ALIGN_MULTILINE_EXTENDS_LIST enum class EnumTest { - ENTRY: EnumTest(); + ENTRY(); } diff --git a/idea/testData/indentationOnNewline/InEnumAfterSemicolon.kt b/idea/testData/indentationOnNewline/InEnumAfterSemicolon.kt index 5b3f5794f0b..00501978848 100644 --- a/idea/testData/indentationOnNewline/InEnumAfterSemicolon.kt +++ b/idea/testData/indentationOnNewline/InEnumAfterSemicolon.kt @@ -1,5 +1,5 @@ // SET_TRUE: ALIGN_MULTILINE_EXTENDS_LIST enum class EnumTest { - ENTRY: EnumTest(); + ENTRY(); } diff --git a/idea/testData/indentationOnNewline/InEnumInitializerListAfterComma.after.inv.kt b/idea/testData/indentationOnNewline/InEnumInitializerListAfterComma.after.inv.kt index 97646fad749..ff72ce30d26 100644 --- a/idea/testData/indentationOnNewline/InEnumInitializerListAfterComma.after.inv.kt +++ b/idea/testData/indentationOnNewline/InEnumInitializerListAfterComma.after.inv.kt @@ -3,6 +3,6 @@ interface A1 enum class EnumTest { - ENTRY: EnumTest(), + ENTRY(), } diff --git a/idea/testData/indentationOnNewline/InEnumInitializerListAfterComma.after.kt b/idea/testData/indentationOnNewline/InEnumInitializerListAfterComma.after.kt index 97646fad749..ff72ce30d26 100644 --- a/idea/testData/indentationOnNewline/InEnumInitializerListAfterComma.after.kt +++ b/idea/testData/indentationOnNewline/InEnumInitializerListAfterComma.after.kt @@ -3,6 +3,6 @@ interface A1 enum class EnumTest { - ENTRY: EnumTest(), + ENTRY(), } diff --git a/idea/testData/indentationOnNewline/InEnumInitializerListAfterComma.kt b/idea/testData/indentationOnNewline/InEnumInitializerListAfterComma.kt index 31d5be06cff..655a8666139 100644 --- a/idea/testData/indentationOnNewline/InEnumInitializerListAfterComma.kt +++ b/idea/testData/indentationOnNewline/InEnumInitializerListAfterComma.kt @@ -3,5 +3,5 @@ interface A1 enum class EnumTest { - ENTRY: EnumTest(), + ENTRY(), } diff --git a/idea/testData/indentationOnNewline/InEnumInitializerListNotEmpty.after.inv.kt b/idea/testData/indentationOnNewline/InEnumInitializerListNotEmpty.after.inv.kt index d3b6732d773..4a2351847c2 100644 --- a/idea/testData/indentationOnNewline/InEnumInitializerListNotEmpty.after.inv.kt +++ b/idea/testData/indentationOnNewline/InEnumInitializerListNotEmpty.after.inv.kt @@ -3,6 +3,6 @@ interface A1 enum class EnumTest { - ENTRY: EnumTest(), + ENTRY(), A1 } diff --git a/idea/testData/indentationOnNewline/InEnumInitializerListNotEmpty.after.kt b/idea/testData/indentationOnNewline/InEnumInitializerListNotEmpty.after.kt index d3b6732d773..4a2351847c2 100644 --- a/idea/testData/indentationOnNewline/InEnumInitializerListNotEmpty.after.kt +++ b/idea/testData/indentationOnNewline/InEnumInitializerListNotEmpty.after.kt @@ -3,6 +3,6 @@ interface A1 enum class EnumTest { - ENTRY: EnumTest(), + ENTRY(), A1 } diff --git a/idea/testData/indentationOnNewline/InEnumInitializerListNotEmpty.kt b/idea/testData/indentationOnNewline/InEnumInitializerListNotEmpty.kt index 33fd8fefbc9..12eb24df790 100644 --- a/idea/testData/indentationOnNewline/InEnumInitializerListNotEmpty.kt +++ b/idea/testData/indentationOnNewline/InEnumInitializerListNotEmpty.kt @@ -3,5 +3,5 @@ interface A1 enum class EnumTest { - ENTRY: EnumTest(), A1 + ENTRY(), A1 } diff --git a/idea/testData/intentions/specifyTypeExplicitly/enumType.kt b/idea/testData/intentions/specifyTypeExplicitly/enumType.kt index ec46b66c548..5c6e7e9227a 100644 --- a/idea/testData/intentions/specifyTypeExplicitly/enumType.kt +++ b/idea/testData/intentions/specifyTypeExplicitly/enumType.kt @@ -1,5 +1,5 @@ enum class MyEnum { - E1 E2 + E1, E2 } val x = MyEnum.E1 \ No newline at end of file diff --git a/idea/testData/intentions/specifyTypeExplicitly/enumType.kt.after b/idea/testData/intentions/specifyTypeExplicitly/enumType.kt.after index 63b41a52c06..6464839c7cc 100644 --- a/idea/testData/intentions/specifyTypeExplicitly/enumType.kt.after +++ b/idea/testData/intentions/specifyTypeExplicitly/enumType.kt.after @@ -1,5 +1,5 @@ enum class MyEnum { - E1 E2 + E1, E2 } val x: MyEnum = MyEnum.E1 \ No newline at end of file diff --git a/idea/testData/kotlinAndJavaChecker/EnumEntriesInSwitch.kt b/idea/testData/kotlinAndJavaChecker/EnumEntriesInSwitch.kt index 5588b35f2e3..4fd83f35c9c 100644 --- a/idea/testData/kotlinAndJavaChecker/EnumEntriesInSwitch.kt +++ b/idea/testData/kotlinAndJavaChecker/EnumEntriesInSwitch.kt @@ -1,6 +1,6 @@ package test enum class ZZZ { - A1 + A1, B1 } diff --git a/idea/testData/kotlinAndJavaChecker/EnumStaticImportInJava.kt b/idea/testData/kotlinAndJavaChecker/EnumStaticImportInJava.kt index 5dc5ba202ad..353ee4060e0 100644 --- a/idea/testData/kotlinAndJavaChecker/EnumStaticImportInJava.kt +++ b/idea/testData/kotlinAndJavaChecker/EnumStaticImportInJava.kt @@ -1,7 +1,7 @@ package test.kotlin public enum class KotlinEnum { - ENTRY + ENTRY; public fun foo(): String = "foo" } \ No newline at end of file diff --git a/idea/testData/multiFileHighlighting/dependencies/enums.kt b/idea/testData/multiFileHighlighting/dependencies/enums.kt index e84d7d71590..6b518ff7509 100644 --- a/idea/testData/multiFileHighlighting/dependencies/enums.kt +++ b/idea/testData/multiFileHighlighting/dependencies/enums.kt @@ -6,13 +6,13 @@ interface Base { } enum class E(val i: Int = 0): Base { - E1: E() { + E1() { override fun f() { } - } - E2: E(3) { + }, + E2(3) { override fun f() { } - } + }, E3 } \ No newline at end of file diff --git a/idea/testData/navigation/implementations/EnumEntriesInheritance.kt b/idea/testData/navigation/implementations/EnumEntriesInheritance.kt index 92574d7a5c7..e39275f5f83 100644 --- a/idea/testData/navigation/implementations/EnumEntriesInheritance.kt +++ b/idea/testData/navigation/implementations/EnumEntriesInheritance.kt @@ -1,13 +1,13 @@ enum class E { - O + O, A { override fun foo(n: Int): Int = n + 1 - } + }, B { override fun foo(n: Int): Int = n + 2 - } + }; open fun foo(n: Int): Int = n } diff --git a/idea/testData/navigation/implementations/OverridesInEnumEntries.kt b/idea/testData/navigation/implementations/OverridesInEnumEntries.kt index 3868e66e829..0b68d1b45fb 100644 --- a/idea/testData/navigation/implementations/OverridesInEnumEntries.kt +++ b/idea/testData/navigation/implementations/OverridesInEnumEntries.kt @@ -1,13 +1,13 @@ enum class E { - O + O, A { override fun foo(n: Int): Int = n + 1 - } + }, B { override fun foo(n: Int): Int = n + 2 - } + }; open fun foo(n: Int): Int = n } diff --git a/idea/testData/refactoring/extractFunction/parameters/misc/qualifiedEnum.kt b/idea/testData/refactoring/extractFunction/parameters/misc/qualifiedEnum.kt index 33e5ee82b61..ed8d8a1706c 100644 --- a/idea/testData/refactoring/extractFunction/parameters/misc/qualifiedEnum.kt +++ b/idea/testData/refactoring/extractFunction/parameters/misc/qualifiedEnum.kt @@ -6,7 +6,7 @@ class MyClass { } enum class P { - A + A; val a = 1 fun foo() = 1 diff --git a/idea/testData/refactoring/extractFunction/parameters/misc/qualifiedEnum.kt.after b/idea/testData/refactoring/extractFunction/parameters/misc/qualifiedEnum.kt.after index 4c2fd2d01a7..f2cce5bfecd 100644 --- a/idea/testData/refactoring/extractFunction/parameters/misc/qualifiedEnum.kt.after +++ b/idea/testData/refactoring/extractFunction/parameters/misc/qualifiedEnum.kt.after @@ -5,7 +5,7 @@ class MyClass { } enum class P { - A + A; val a = 1 fun foo() = 1 diff --git a/idea/testData/refactoring/rename/renameKotlinFunctionInEnum/after/RenameKotlinFunctionInEnum.kt b/idea/testData/refactoring/rename/renameKotlinFunctionInEnum/after/RenameKotlinFunctionInEnum.kt index 97439de0ada..d451805990b 100644 --- a/idea/testData/refactoring/rename/renameKotlinFunctionInEnum/after/RenameKotlinFunctionInEnum.kt +++ b/idea/testData/refactoring/rename/renameKotlinFunctionInEnum/after/RenameKotlinFunctionInEnum.kt @@ -1,15 +1,15 @@ package test enum class E { - O + O, A { override fun bar(n: Int): Int = n + 1 - } + }, B { override fun bar(n: Int): Int = n + 2 - } + }; open fun bar(n: Int): Int = n } \ No newline at end of file diff --git a/idea/testData/refactoring/rename/renameKotlinFunctionInEnum/before/RenameKotlinFunctionInEnum.kt b/idea/testData/refactoring/rename/renameKotlinFunctionInEnum/before/RenameKotlinFunctionInEnum.kt index 2088f3da586..29a86619fe4 100644 --- a/idea/testData/refactoring/rename/renameKotlinFunctionInEnum/before/RenameKotlinFunctionInEnum.kt +++ b/idea/testData/refactoring/rename/renameKotlinFunctionInEnum/before/RenameKotlinFunctionInEnum.kt @@ -1,15 +1,15 @@ package test enum class E { - O + O, A { override fun foo(n: Int): Int = n + 1 - } + }, B { override fun foo(n: Int): Int = n + 2 - } + }; open fun foo(n: Int): Int = n } \ No newline at end of file diff --git a/idea/testData/structureView/fileStructure/InheritedMembersOfEnum.kt b/idea/testData/structureView/fileStructure/InheritedMembersOfEnum.kt index 01946049a89..2666c7f2571 100644 --- a/idea/testData/structureView/fileStructure/InheritedMembersOfEnum.kt +++ b/idea/testData/structureView/fileStructure/InheritedMembersOfEnum.kt @@ -1,5 +1,5 @@ enum class Test { - FIRST + FIRST, SECOND } diff --git a/idea/testData/structureView/fileStructure/Render.kt b/idea/testData/structureView/fileStructure/Render.kt index f64ecf25167..be0f409032f 100644 --- a/idea/testData/structureView/fileStructure/Render.kt +++ b/idea/testData/structureView/fileStructure/Render.kt @@ -38,7 +38,7 @@ class A7 { } enum class Enum1 { - FIRST + FIRST, SECOND } diff --git a/idea/testData/stubs/SimpleEnumBuild.kt b/idea/testData/stubs/SimpleEnumBuild.kt index 8e7dfdde280..a81a7d90902 100644 --- a/idea/testData/stubs/SimpleEnumBuild.kt +++ b/idea/testData/stubs/SimpleEnumBuild.kt @@ -1,4 +1,4 @@ enum class Test { - First + First, Second } \ No newline at end of file diff --git a/idea/testData/stubs/TypeAnnotation.kt b/idea/testData/stubs/TypeAnnotation.kt index 050c0655005..27e0061435e 100644 --- a/idea/testData/stubs/TypeAnnotation.kt +++ b/idea/testData/stubs/TypeAnnotation.kt @@ -2,6 +2,6 @@ annotation class a annotation class b(val e: E) -enum class E { E1 E2 } +enum class E { E1, E2 } fun types(param: @[a] @[b(E.E1)] DoubleRange): @[a] @[b(E.E2)] Unit {}