}

// MODULE: lib2(lib)
// MODULE_KIND: LibraryBinary
// 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() {

      FUN FAKE_OVERRIDE name:setContentView visibility:public modality:OPEN <> ($this:p2.Parent, p0:kotlin.Int) returnType:kotlin.Unit [fake_override]
        overridden:
          public open fun setContentView (p0: kotlin.Int): kotlin.Unit declared in p2.Parent
        $this: VALUE_PARAMETER name:<this> type:p2.Parent
        VALUE_PARAMETER name:p0 index:0 type:kotlin.Int
          annotations: