FILE: properLocalPackages.kt
    package a.b

    public final class X : R|kotlin/Any| {
        public constructor(): R|a/b/X| {
            super<R|kotlin/Any|>()
        }

        public final fun foo(): R|kotlin/Unit| {
            local final class U : R|kotlin/Any| {
                public constructor(): R|<local>/U| {
                    super<R|kotlin/Any|>()
                }

                local final inner class K : R|kotlin/Any| {
                    public <local>/U.constructor(): R|<local>/U.K| {
                        super<R|kotlin/Any|>()
                    }

                    local final inner class D : R|kotlin/Any| {
                        public <local>/U.K.constructor(): R|<local>/U.K.D| {
                            super<R|kotlin/Any|>()
                        }

                        public final fun check(): R|kotlin/Unit| {
                            local final class F : R|kotlin/Any| {
                                public constructor(): R|<local>/F| {
                                    super<R|kotlin/Any|>()
                                }

                                local final inner class L : R|kotlin/Any| {
                                    public <local>/F.constructor(): R|<local>/F.L| {
                                        super<R|kotlin/Any|>()
                                    }

                                }

                            }

                        }

                    }

                }

                local final class T : R|kotlin/Any| {
                    public constructor(): R|<local>/U.T| {
                        super<R|kotlin/Any|>()
                    }

                }

            }

        }

    }
