kotlin-fork/compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/NullableToNotNull.fir.txt

public abstract interface NullableToNotNull : R|kotlin/Any| {
    public abstract interface Sub : R|test/NullableToNotNull.Super| {
        public abstract fun foo(@R|org/jetbrains/annotations/NotNull|() p: R|@EnhancedNullability kotlin/String|): R|kotlin/Unit|

    }
    public abstract interface Super : R|kotlin/Any| {
        public abstract fun foo(p: R|kotlin/String!|): R|kotlin/Unit|

        public abstract fun dummy(): R|kotlin/Unit|

    }
}