Michael Bryant
03/27/2019, 9:13 PMabstract class Parent(val a: Int) {}
class Child(val b: Int, a: Int) : Parent(a) {}
fun make_thing(): Parent {
return Child(1, 2);
}
Michael Bryant
03/27/2019, 9:13 PMdemo_kref_Parent parent = demo_symbols()->kotlin.root.make_thing();
demo_kref_Child* child_ptr = (demo_kref_Child*) parent.pinned;
demo_kref_Child child = *child_ptr;
int b = demo_symbols()->kotlin.root.Child.get_b(child);
Michael Bryant
03/27/2019, 9:13 PMget_b
call.svyatoslav.scherbina
03/28/2019, 7:45 AMdemo_kref_Child
with .pinned = parent.pinned
instead.Michael Bryant
03/28/2019, 3:42 PM