FILE: inferredToProjectionInsteadOfParameter.kt
    public abstract interface Marker<M : R|Marker<M>|> : R|kotlin/Any| {
    }
    public final class MyClass<C : R|Marker<C>|> : R|kotlin/Any| {
        public constructor<C : R|Marker<C>|>(): R|MyClass<C>| {
            super<R|kotlin/Any|>()
        }

    }
    private final fun <F : R|Marker<F>|> myFunction(arg: R|MyClass<F>?|): R|MyClass<F>| {
        lval result: R|MyClass<F>| = R|<local>/arg| ?: R|/MyClass.MyClass|<R|F|>()
        ^myFunction R|<local>/result|
    }
