Artem Kobzar
76 lines
1.7 KiB
Kotlin
Vendored
76 lines
1.7 KiB
Kotlin
Vendored
// EXPECTED_REACHABLE_NODES: 1289
|
|
// IGNORE_BACKEND: JS_IR, JS_IR_ES6
|
|
|
|
@JsExport
|
|
open class A {
|
|
val foo: Char
|
|
get() = 'X'
|
|
|
|
var bar: Char = 'Y'
|
|
|
|
val baz: Char = 'Q'
|
|
|
|
var mutable: Char = 'W'
|
|
get() {
|
|
typeOfMutable += typeOf(field.asDynamic()) + ";"
|
|
return field + 1
|
|
}
|
|
set(value) {
|
|
typeOfMutable += typeOf(js("value")) + ";" + typeOf(value)
|
|
field = value
|
|
}
|
|
}
|
|
|
|
interface I {
|
|
val foo: Any
|
|
|
|
val bar: Any
|
|
|
|
val baz: Any
|
|
|
|
val mutable: Any
|
|
}
|
|
|
|
@JsExport
|
|
class B : A(), I
|
|
|
|
fun typeOf(x: dynamic): String = js("typeof x")
|
|
|
|
var typeOfMutable = ""
|
|
|
|
val expectedCharRepresentationInProperty = if (testUtils.isLegacyBackend()) "object" else "number"
|
|
|
|
fun box(): String {
|
|
val a = B()
|
|
val b: I = B()
|
|
|
|
val r1 = typeOf(a.foo)
|
|
if (r1 != "number") return "fail1: $r1"
|
|
|
|
val r2 = typeOf(b.foo)
|
|
if (r2 != "object") return "fail2: $r2"
|
|
|
|
val r3 = typeOf(a.asDynamic().foo)
|
|
if (r3 != expectedCharRepresentationInProperty) return "fail3: $r3"
|
|
|
|
val r4 = typeOf(a.asDynamic().bar)
|
|
if (r4 != expectedCharRepresentationInProperty) return "fail4: $r4"
|
|
|
|
val r5 = typeOf(a.asDynamic().baz)
|
|
if (r5 != expectedCharRepresentationInProperty) return "fail5: $r5"
|
|
|
|
a.bar++
|
|
val r6 = typeOf(a.asDynamic().bar)
|
|
if (r6 != expectedCharRepresentationInProperty) return "fail6: $r6"
|
|
|
|
val r7 = typeOf(a.asDynamic().mutable)
|
|
if (r7 != expectedCharRepresentationInProperty) return "fail7: $r7"
|
|
|
|
a.mutable = 'E'
|
|
if (typeOfMutable != "number;$expectedCharRepresentationInProperty;number") return "fail8: $typeOfMutable"
|
|
|
|
val r9 = typeOf(a.mutable)
|
|
if (r9 != "number") return "fail9: $r9"
|
|
|
|
return "OK"
|
|
} |