FILE: initWithLocalDeclarations.kt public final? class A : R|kotlin/Any| { public? [ContainingClassKey=A] constructor(): R|util/A| { super() } init { local final? class OuterIntoLocal : R|kotlin/Any| { public? [ContainingClassKey=OuterIntoLocal] constructor(): R|/OuterIntoLocal| { super() } public? final? fun doo(): { ^doo foo#() } public? final? fun foo(): { ^foo bar#() } public? final? fun baz(): { ^baz foo#() } } local final? class LocalIntoLocal : R|kotlin/Any| { public? [ContainingClassKey=LocalIntoLocal] constructor(): R|/LocalIntoLocal| { super() } public? final? fun foo(): { ^foo bar#() } public? final? fun bar(): @Anno((String(bar ), prop#)) List<@Anno((String(nested bar ), prop#)) Collection<@Anno((String(nested nested bar ), prop#)) Int>>? { ^bar Null(null) } public? final? fun foo2(): { ^foo2 bar#() } } } }