FILE: main.kt
    public final fun main(): R|kotlin/Unit| {
        R|/JavaClass.JavaClass|<R|ExplicitTypeArgumentIfMadeFlexibleSyntheticallyTypeAttribute(coneType=kotlin/String, relevantFeature=JavaTypeParameterDefaultRepresentationWithDNN) kotlin/String!|>(Null(null)).R|SubstitutionOverride</JavaClass.foo: R|kotlin/String!|>|().R|kotlin/String.length|
    }
