Ivan Kochurkin
69b9bfc3e0
Java resolving subsystem requires calculated visibility for correct disambiguation of supertypes. But visibility remains `Unknown` for Kotlin class-like declarations during supertypes resolving because `STATUS` resolve phase is performed after `SUPER_TYPES` phase. To fix the problem, the visibility should be initialized to public at the FIR building phase if no modifier is presented. ^KT-64127 Fixed
21 lines
567 B
Plaintext
Vendored
21 lines
567 B
Plaintext
Vendored
FILE: contextReceivers.kt
|
|
context(A, b@B)
|
|
public? final? fun foo(): R|kotlin/Unit| {
|
|
}
|
|
context(A, b@B)
|
|
public? final? val x: Int
|
|
public? get(): Int {
|
|
^ IntegerLiteral(1)
|
|
}
|
|
context(A, b@B)
|
|
public final? class C : R|kotlin/Any| {
|
|
public? [ContainingClassKey=C] constructor(): R|C| {
|
|
super<R|kotlin/Any|>()
|
|
}
|
|
|
|
}
|
|
public? final? fun bar1(x: context(A, B)( () -> Unit )): R|kotlin/Unit| {
|
|
}
|
|
public? final? fun bar2(x: context(A, B)( C.() -> Unit )): R|kotlin/Unit| {
|
|
}
|