FILE: main.kt
    public final fun main(): R|kotlin/Unit| {
        R|/MyFunction|<R|ExplicitTypeArgumentIfMadeFlexibleSyntheticallyTypeAttribute(coneType=kotlin/Int, relevantFeature=JavaTypeParameterDefaultRepresentationWithDNN) kotlin/Int!|, R|ExplicitTypeArgumentIfMadeFlexibleSyntheticallyTypeAttribute(coneType=kotlin/String, relevantFeature=JavaTypeParameterDefaultRepresentationWithDNN) kotlin/String!|>(<L> = MyFunction@fun <anonymous>(x: R|kotlin/Int!|): R|kotlin/String!| <inline=NoInline>  {
            ^ R|<local>/x|.R|kotlin/Int.toInt|().R|kotlin/Int.toString|()
        }
        )
        R|/MyFunction|<R|kotlin/Int!|, R|kotlin/String!|>(<L> = MyFunction@fun <anonymous>(x: R|kotlin/Int|): R|kotlin/String!| <inline=NoInline>  {
            ^ R|<local>/x|.R|kotlin/Int.toString|()
        }
        )
        R|/MyFunction<CS errors: /MyFunction>#|<<ERROR TYPE REF: Cannot infer argument for type parameter T>, <ERROR TYPE REF: Cannot infer argument for type parameter R>>(<L> = MyFunction@fun <anonymous>(x: <ERROR TYPE REF: Cannot infer argument for type parameter T>): <ERROR TYPE REF: Cannot infer argument for type parameter R> <inline=NoInline>  {
            ^ String()
        }
        )
    }
