| FILE: classWithCompanionObject.kt | |
| @R|org/jetbrains/kotlin/plugin/sandbox/CompanionWithFoo|() public final class SomeClass : R|kotlin/Any| { | |
| public constructor(): R|SomeClass| { | |
| super<R|kotlin/Any|>() | |
| } | |
| public final companion object Companion : R|kotlin/Any| { | |
| public final fun foo(): R|kotlin/Int| | |
| private constructor(): R|SomeClass.Companion| { | |
| super<R|kotlin/Any|>() | |
| } | |
| } | |
| } | |
| public final fun takeInt(x: R|kotlin/Int|): R|kotlin/Unit| { | |
| when () { | |
| !=(R|<local>/x|, Int(10)) -> { | |
| throw R|java/lang/IllegalArgumentException.IllegalArgumentException|() | |
| } | |
| } | |
| } | |
| public final fun test(): R|kotlin/Unit| { | |
| R|/takeInt|(Q|SomeClass|.R|/SomeClass.Companion.foo|()) | |
| R|/takeInt|(Q|SomeClass.Companion|.R|/SomeClass.Companion.foo|()) | |
| } | |
| public final fun box(): R|kotlin/String| { | |
| R|/test|() | |
| ^box String(OK) | |
| } |