| // IGNORE_BACKEND: JVM |
| // WITH_RUNTIME |
| // DONT_TARGET_EXACT_BACKEND: WASM |
| // WASM_MUTE_REASON: PROPERTY_REFERENCES |
| |
| val <T> T.foo get() = 42 |
| |
| class A |
| |
| inline class Z(val x: Int) |
| |
| fun box(): String { |
| val test1 = A::foo.get(A()) |
| if (test1 != 42) throw Exception("test1: $test1") |
| |
| val test2 = String::foo.get("") |
| if (test2 != 42) throw Exception("test2: $test2") |
| |
| val test3 = Int::foo.get(1) |
| if (test3 != 42) throw Exception("test3: $test3") |
| |
| val test4 = Z::foo.get(Z(1)) |
| if (test4 != 42) throw Exception("test4: $test4") |
| |
| return "OK" |
| } |
