// FILE: p2/Parent.java
package p2;

import p3.Anno;

public class Parent {
    protected void onCreate() {
        setContentView(10);
    }

    public void setContentView(@Anno({"UnknownNullness", "MissingNullability"}) int id) {
    }
}

// MODULE: main(lib, lib2)
// FILE: main.kt
import p2.Parent

class Child: Parent() {
    override fun onCreate() {
        super.onCreate()

        $this: VALUE_PARAMETER name:<this> type:p2.Parent
        VALUE_PARAMETER name:p0 index:0 type:kotlin.Int
          annotations:
            Anno(value = ["UnknownNullness", "MissingNullability"])
      FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
        overridden: