plugins/plugin-sandbox/testData/box/generatedFunctionWithDefaultParameter.fir.txt

FILE: generatedFunctionWithDefaultParameter.kt
    package foo

    public final annotation class MyAnnotation : R|kotlin/Annotation| {
        public constructor(): R|foo/MyAnnotation| {
            super<R|kotlin/Any|>()
        }

    }
    @R|foo/MyAnnotation|() public final class Foo : R|kotlin/Any| {
        public constructor(): R|foo/Foo| {
            super<R|kotlin/Any|>()
        }

        public final fun materialize(): R|foo/Foo| {
            ^materialize throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[AdditionalMembersGeneratorKey]))
        }

        public final fun idWithDefault(x: R|kotlin/String| = throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[AdditionalMembersGeneratorKey]))): R|kotlin/String| {
            ^idWithDefault throw R|kotlin/Throwable.Throwable|(String(Stub for declaration generated by Plugin[AdditionalMembersGeneratorKey]))
        }

        public final class Nested : R|kotlin/Any| {
            public constructor(): R|foo/Foo.Nested| {
                super<R|kotlin/Any|>()
            }

        }

    }
    public final fun box(): R|kotlin/String| {
        lval foo: R|foo/Foo| = R|foo/Foo.Foo|()
        ^box R|<local>/foo|.R|foo/Foo.idWithDefault|()
    }