blob: 6697011ef7d817922ddaa6140a5f99e31a0403d9 [file]
Module: lib
FILE: some.kt
package foo
@R|org/jetbrains/kotlin/plugin/sandbox/DummyFunction|(fileName = String(first.kt) [evaluated = String(first.kt)]) public final class First : R|kotlin/Any| {
public constructor(): R|foo/First| {
super<R|kotlin/Any|>()
}
}
@R|org/jetbrains/kotlin/plugin/sandbox/DummyFunction|(fileName = String(first) [evaluated = String(first)]) public final class OtherFirst : R|kotlin/Any| {
public constructor(): R|foo/OtherFirst| {
super<R|kotlin/Any|>()
}
}
@R|org/jetbrains/kotlin/plugin/sandbox/DummyFunction|(fileName = String(second) [evaluated = String(second)]) public final class Second : R|kotlin/Any| {
public constructor(): R|foo/Second| {
super<R|kotlin/Any|>()
}
}
@R|org/jetbrains/kotlin/plugin/sandbox/DummyFunction|() public final class Third : R|kotlin/Any| {
public constructor(): R|foo/Third| {
super<R|kotlin/Any|>()
}
}
FILE: other.kt
package bar
@R|org/jetbrains/kotlin/plugin/sandbox/DummyFunction|(fileName = String(first.kt) [evaluated = String(first.kt)]) public final class First : R|kotlin/Any| {
public constructor(): R|bar/First| {
super<R|kotlin/Any|>()
}
}
FILE: foo/first.kt
package foo
public final fun dummyFirst(value: R|foo/First|): R|kotlin/String| {
^dummyFirst throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[TopLevelDeclarationsGeneratorKey]))
}
public final fun dummyOtherFirst(value: R|foo/OtherFirst|): R|kotlin/String| {
^dummyOtherFirst throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[TopLevelDeclarationsGeneratorKey]))
}
FILE: foo/second.kt
package foo
public final fun dummySecond(value: R|foo/Second|): R|kotlin/String| {
^dummySecond throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[TopLevelDeclarationsGeneratorKey]))
}
FILE: foo/__GENERATED__CALLABLES__.kt
package foo
public final fun dummyThird(value: R|foo/Third|): R|kotlin/String| {
^dummyThird throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[TopLevelDeclarationsGeneratorKey]))
}
FILE: bar/first.kt
package bar
public final fun dummyFirst(value: R|bar/First|): R|kotlin/String| {
^dummyFirst throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[TopLevelDeclarationsGeneratorKey]))
}
Module: main
FILE: main.kt
package foo
public final fun box(): R|kotlin/String| {
lval result1: R|kotlin/String| = R|foo/dummyFirst|(R|foo/First.First|())
when () {
!=(R|<local>/result1|, String(foo.First)) -> {
^box <strcat>(String(Error: ), R|<local>/result1|)
}
}
lval result2: R|kotlin/String| = R|foo/dummySecond|(R|foo/Second.Second|())
when () {
!=(R|<local>/result2|, String(foo.Second)) -> {
^box <strcat>(String(Error: ), R|<local>/result2|)
}
}
^box String(OK)
}
FILE: foo/first.kt
package foo
public final fun dummyFirst(value: R|foo/First|): R|kotlin/String| {
^dummyFirst throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[TopLevelDeclarationsGeneratorKey]))
}
public final fun dummyOtherFirst(value: R|foo/OtherFirst|): R|kotlin/String| {
^dummyOtherFirst throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[TopLevelDeclarationsGeneratorKey]))
}
FILE: foo/second.kt
package foo
public final fun dummySecond(value: R|foo/Second|): R|kotlin/String| {
^dummySecond throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[TopLevelDeclarationsGeneratorKey]))
}
FILE: foo/__GENERATED__CALLABLES__.kt
package foo
public final fun dummyThird(value: R|foo/Third|): R|kotlin/String| {
^dummyThird throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[TopLevelDeclarationsGeneratorKey]))
}
FILE: bar/first.kt
package bar
public final fun dummyFirst(value: R|bar/First|): R|kotlin/String| {
^dummyFirst throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[TopLevelDeclarationsGeneratorKey]))
}