Files
Mikhail Glukhikh 7333589663 K1/K2: add Enum.entries unconditionally and filter them out in tower
Before this commit, we added Enum.entries only in case when
LanguageFeature.EnumEntries was ON (with an exception in K1/Java case).
In this commit we add Enum.entries unconditionally, and in case
the language feature is OFF we filter them out during tower resolve.
2022-08-12 09:35:27 +00:00

78 lines
2.3 KiB
Plaintext
Vendored

FILE: nested.kt
public final enum class Outer : R|kotlin/Enum<Outer>| {
private constructor(): R|Outer| {
super<R|kotlin/Enum<Outer>|>()
}
public final static enum entry FIRST: R|Outer|
public final static enum entry SECOND: R|Outer|
public final static fun values(): R|kotlin/Array<Outer>| {
}
public final static fun valueOf(value: R|kotlin/String|): R|Outer| {
}
public final static val entries: R|kotlin/enums/EnumEntries<Outer>|
public get(): R|kotlin/enums/EnumEntries<Outer>|
}
public final enum class Inner : R|kotlin/Enum<Inner>| {
private constructor(): R|Inner| {
super<R|kotlin/Enum<Inner>|>()
}
public final static enum entry SECOND: R|Inner|
public final static enum entry THIRD: R|Inner|
public final static fun values(): R|kotlin/Array<Inner>| {
}
public final static fun valueOf(value: R|kotlin/String|): R|Inner| {
}
public final static val entries: R|kotlin/enums/EnumEntries<Inner>|
public get(): R|kotlin/enums/EnumEntries<Inner>|
}
public final fun foo(o: R|Outer|, i: R|Inner|): R|kotlin/Int| {
^foo when (R|<local>/o|) {
==($subj$, R|/Outer.FIRST|) -> {
Int(1)
}
==($subj$, R|/Outer.SECOND|) -> {
when (R|<local>/i|) {
==($subj$, R|/Inner.SECOND|) -> {
Int(2)
}
==($subj$, R|/Inner.THIRD|) -> {
Int(3)
}
}
}
}
}
public final fun bar(o: R|Outer|, i: R|Inner|): R|kotlin/Int| {
^bar when (R|<local>/o|) {
==($subj$, R|/Outer.FIRST|) -> {
Int(1)
}
==($subj$, R|/Outer.SECOND|) -> {
local final fun baz(): R|kotlin/Int| {
^baz when (R|<local>/i|) {
==($subj$, R|/Inner.SECOND|) -> {
Int(2)
}
==($subj$, R|/Inner.THIRD|) -> {
Int(3)
}
}
}
R|<local>/baz|()
}
}
}