diff --git a/compiler/testData/diagnostics/tests/multimodule/duplicateClass/collectionMethodStub.txt b/compiler/testData/diagnostics/tests/multimodule/duplicateClass/collectionMethodStub.txt
index cbfc6624200..9bcfd7c3c1d 100644
--- a/compiler/testData/diagnostics/tests/multimodule/duplicateClass/collectionMethodStub.txt
+++ b/compiler/testData/diagnostics/tests/multimodule/duplicateClass/collectionMethodStub.txt
@@ -1,4 +1,4 @@
-package
+package 
 
 internal final class C : kotlin.MutableIterator<kotlin.Int> {
     public constructor C()
@@ -17,501 +17,501 @@ package kotlin {
     public fun kotlin.Any?.toString(): kotlin.String
 
     public trait Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public open class Any {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Array</*0*/ reified T> : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Boolean : kotlin.Comparable<kotlin.Boolean> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class BooleanArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class BooleanIterator : kotlin.Iterator<kotlin.Boolean> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Byte : kotlin.Number, kotlin.Comparable<kotlin.Byte> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class ByteArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class ByteIterator : kotlin.Iterator<kotlin.Byte> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class ByteProgression : kotlin.Progression<kotlin.Byte> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class ByteProgressionIterator : kotlin.ByteIterator {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class ByteRange : kotlin.Range<kotlin.Byte>, kotlin.Progression<kotlin.Byte> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Char : kotlin.Comparable<kotlin.Char> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class CharArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class CharIterator : kotlin.Iterator<kotlin.Char> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class CharProgression : kotlin.Progression<kotlin.Char> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class CharProgressionIterator : kotlin.CharIterator {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class CharRange : kotlin.Range<kotlin.Char>, kotlin.Progression<kotlin.Char> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait CharSequence {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Collection</*0*/ out E> : kotlin.Iterable<E> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Comparable</*0*/ in T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Double : kotlin.Number, kotlin.Comparable<kotlin.Double> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class DoubleArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class DoubleIterator : kotlin.Iterator<kotlin.Double> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class DoubleProgression : kotlin.Progression<kotlin.Double> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class DoubleProgressionIterator : kotlin.DoubleIterator {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class DoubleRange : kotlin.Range<kotlin.Double>, kotlin.Progression<kotlin.Double> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class Enum</*0*/ E : kotlin.Enum<E>> : kotlin.Comparable<E> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction0</*0*/ in T, /*1*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction1</*0*/ in T, /*1*/ in P1, /*2*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction10</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction11</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction12</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction13</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction14</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction15</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction16</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ in P16, /*17*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction17</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ in P16, /*17*/ in P17, /*18*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction18</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ in P16, /*17*/ in P17, /*18*/ in P18, /*19*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction19</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ in P16, /*17*/ in P17, /*18*/ in P18, /*19*/ in P19, /*20*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction2</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction20</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ in P16, /*17*/ in P17, /*18*/ in P18, /*19*/ in P19, /*20*/ in P20, /*21*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction21</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ in P16, /*17*/ in P17, /*18*/ in P18, /*19*/ in P19, /*20*/ in P20, /*21*/ in P21, /*22*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction22</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ in P16, /*17*/ in P17, /*18*/ in P18, /*19*/ in P19, /*20*/ in P20, /*21*/ in P21, /*22*/ in P22, /*23*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction3</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction4</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction5</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction6</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction7</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction8</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction9</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Float : kotlin.Number, kotlin.Comparable<kotlin.Float> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class FloatArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class FloatIterator : kotlin.Iterator<kotlin.Float> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class FloatProgression : kotlin.Progression<kotlin.Float> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class FloatProgressionIterator : kotlin.FloatIterator {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class FloatRange : kotlin.Range<kotlin.Float>, kotlin.Progression<kotlin.Float> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait FloatingPointConstants</*0*/ T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function0</*0*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function1</*0*/ in P1, /*1*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function10</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function11</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function12</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function13</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function14</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function15</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function16</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ in P16, /*16*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function17</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ in P16, /*16*/ in P17, /*17*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function18</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ in P16, /*16*/ in P17, /*17*/ in P18, /*18*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function19</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ in P16, /*16*/ in P17, /*17*/ in P18, /*18*/ in P19, /*19*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function2</*0*/ in P1, /*1*/ in P2, /*2*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function20</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ in P16, /*16*/ in P17, /*17*/ in P18, /*18*/ in P19, /*19*/ in P20, /*20*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function21</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ in P16, /*16*/ in P17, /*17*/ in P18, /*18*/ in P19, /*19*/ in P20, /*20*/ in P21, /*21*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function22</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ in P16, /*16*/ in P17, /*17*/ in P18, /*18*/ in P19, /*19*/ in P20, /*20*/ in P21, /*21*/ in P22, /*22*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function3</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function4</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function5</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function6</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function7</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function8</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function9</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final enum class InlineOption : kotlin.Enum<kotlin.InlineOption> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
 
         // Static members
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final enum class InlineStrategy : kotlin.Enum<kotlin.InlineStrategy> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
 
         // Static members
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Int : kotlin.Number, kotlin.Comparable<kotlin.Int> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class IntArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class IntIterator : kotlin.Iterator<kotlin.Int> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class IntProgression : kotlin.Progression<kotlin.Int> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class IntProgressionIterator : kotlin.IntIterator {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class IntRange : kotlin.Range<kotlin.Int>, kotlin.Progression<kotlin.Int> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Iterable</*0*/ out T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Iterator</*0*/ out T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait List</*0*/ out E> : kotlin.Collection<E> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ListIterator</*0*/ out T> : kotlin.Iterator<T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Long : kotlin.Number, kotlin.Comparable<kotlin.Long> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class LongArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class LongIterator : kotlin.Iterator<kotlin.Long> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class LongProgression : kotlin.Progression<kotlin.Long> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class LongProgressionIterator : kotlin.LongIterator {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class LongRange : kotlin.Range<kotlin.Long>, kotlin.Progression<kotlin.Long> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Map</*0*/ K, /*1*/ out V> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait MutableCollection</*0*/ E> : kotlin.Collection<E>, kotlin.MutableIterable<E> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait MutableIterable</*0*/ out T> : kotlin.Iterable<T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait MutableIterator</*0*/ out T> : kotlin.Iterator<T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait MutableList</*0*/ E> : kotlin.List<E>, kotlin.MutableCollection<E> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait MutableListIterator</*0*/ T> : kotlin.ListIterator<T>, kotlin.MutableIterator<T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait MutableMap</*0*/ K, /*1*/ V> : kotlin.Map<K, V> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait MutableSet</*0*/ E> : kotlin.Set<E>, kotlin.MutableCollection<E> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Nothing {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class Number {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Progression</*0*/ out N : kotlin.Any> : kotlin.Iterable<N> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait PropertyMetadata {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class PropertyMetadataImpl : kotlin.PropertyMetadata {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Range</*0*/ T : kotlin.Comparable<T>> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Set</*0*/ out E> : kotlin.Collection<E> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Short : kotlin.Number, kotlin.Comparable<kotlin.Short> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class ShortArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class ShortIterator : kotlin.Iterator<kotlin.Short> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class ShortProgression : kotlin.Progression<kotlin.Short> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class ShortProgressionIterator : kotlin.ShortIterator {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class ShortRange : kotlin.Range<kotlin.Short>, kotlin.Progression<kotlin.Short> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class String : kotlin.Comparable<kotlin.String>, kotlin.CharSequence {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public open class Throwable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class Unit {
@@ -522,34 +522,34 @@ package kotlin {
     }
 
     public object Unit {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final annotation class data : kotlin.Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final annotation class deprecated : kotlin.Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final annotation class inline : kotlin.Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final annotation class inlineOptions : kotlin.Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final annotation class noinline : kotlin.Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final annotation class suppress : kotlin.Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final annotation class tailRecursive : kotlin.Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 }
diff --git a/compiler/testData/diagnostics/tests/regressions/kt860.txt b/compiler/testData/diagnostics/tests/regressions/kt860.txt
index f021bcaef0f..1c55b0d3e57 100644
--- a/compiler/testData/diagnostics/tests/regressions/kt860.txt
+++ b/compiler/testData/diagnostics/tests/regressions/kt860.txt
@@ -1,4 +1,4 @@
-package
+package 
 
 package kotlin {
     public fun </*0*/ reified T> arrayOfNulls(/*0*/ size: kotlin.Int): kotlin.Array<T?>
@@ -7,533 +7,533 @@ package kotlin {
     public fun kotlin.Any?.toString(): kotlin.String
 
     public trait Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public open class Any {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Array</*0*/ reified T> : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Boolean : kotlin.Comparable<kotlin.Boolean> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class BooleanArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class BooleanIterator : kotlin.Iterator<kotlin.Boolean> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Byte : kotlin.Number, kotlin.Comparable<kotlin.Byte> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class ByteArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class ByteIterator : kotlin.Iterator<kotlin.Byte> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class ByteProgression : kotlin.Progression<kotlin.Byte> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class ByteProgressionIterator : kotlin.ByteIterator {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class ByteRange : kotlin.Range<kotlin.Byte>, kotlin.Progression<kotlin.Byte> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Char : kotlin.Comparable<kotlin.Char> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class CharArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class CharIterator : kotlin.Iterator<kotlin.Char> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class CharProgression : kotlin.Progression<kotlin.Char> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class CharProgressionIterator : kotlin.CharIterator {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class CharRange : kotlin.Range<kotlin.Char>, kotlin.Progression<kotlin.Char> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait CharSequence {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Collection</*0*/ out E> : kotlin.Iterable<E> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Comparable</*0*/ in T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Double : kotlin.Number, kotlin.Comparable<kotlin.Double> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class DoubleArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class DoubleIterator : kotlin.Iterator<kotlin.Double> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class DoubleProgression : kotlin.Progression<kotlin.Double> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class DoubleProgressionIterator : kotlin.DoubleIterator {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class DoubleRange : kotlin.Range<kotlin.Double>, kotlin.Progression<kotlin.Double> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class Enum</*0*/ E : kotlin.Enum<E>> : kotlin.Comparable<E> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction0</*0*/ in T, /*1*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction1</*0*/ in T, /*1*/ in P1, /*2*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction10</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction11</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction12</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction13</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction14</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction15</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction16</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ in P16, /*17*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction17</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ in P16, /*17*/ in P17, /*18*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction18</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ in P16, /*17*/ in P17, /*18*/ in P18, /*19*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction19</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ in P16, /*17*/ in P17, /*18*/ in P18, /*19*/ in P19, /*20*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction2</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction20</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ in P16, /*17*/ in P17, /*18*/ in P18, /*19*/ in P19, /*20*/ in P20, /*21*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction21</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ in P16, /*17*/ in P17, /*18*/ in P18, /*19*/ in P19, /*20*/ in P20, /*21*/ in P21, /*22*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction22</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ in P10, /*11*/ in P11, /*12*/ in P12, /*13*/ in P13, /*14*/ in P14, /*15*/ in P15, /*16*/ in P16, /*17*/ in P17, /*18*/ in P18, /*19*/ in P19, /*20*/ in P20, /*21*/ in P21, /*22*/ in P22, /*23*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction3</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction4</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction5</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction6</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction7</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction8</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ExtensionFunction9</*0*/ in T, /*1*/ in P1, /*2*/ in P2, /*3*/ in P3, /*4*/ in P4, /*5*/ in P5, /*6*/ in P6, /*7*/ in P7, /*8*/ in P8, /*9*/ in P9, /*10*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Float : kotlin.Number, kotlin.Comparable<kotlin.Float> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class FloatArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class FloatIterator : kotlin.Iterator<kotlin.Float> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class FloatProgression : kotlin.Progression<kotlin.Float> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class FloatProgressionIterator : kotlin.FloatIterator {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class FloatRange : kotlin.Range<kotlin.Float>, kotlin.Progression<kotlin.Float> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait FloatingPointConstants</*0*/ T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function0</*0*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function1</*0*/ in P1, /*1*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function10</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function11</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function12</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function13</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function14</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function15</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function16</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ in P16, /*16*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function17</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ in P16, /*16*/ in P17, /*17*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function18</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ in P16, /*16*/ in P17, /*17*/ in P18, /*18*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function19</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ in P16, /*16*/ in P17, /*17*/ in P18, /*18*/ in P19, /*19*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function2</*0*/ in P1, /*1*/ in P2, /*2*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function20</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ in P16, /*16*/ in P17, /*17*/ in P18, /*18*/ in P19, /*19*/ in P20, /*20*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function21</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ in P16, /*16*/ in P17, /*17*/ in P18, /*18*/ in P19, /*19*/ in P20, /*20*/ in P21, /*21*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function22</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ in P10, /*10*/ in P11, /*11*/ in P12, /*12*/ in P13, /*13*/ in P14, /*14*/ in P15, /*15*/ in P16, /*16*/ in P17, /*17*/ in P18, /*18*/ in P19, /*19*/ in P20, /*20*/ in P21, /*21*/ in P22, /*22*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function3</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function4</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function5</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function6</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function7</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function8</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Function9</*0*/ in P1, /*1*/ in P2, /*2*/ in P3, /*3*/ in P4, /*4*/ in P5, /*5*/ in P6, /*6*/ in P7, /*7*/ in P8, /*8*/ in P9, /*9*/ out R> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final enum class InlineOption : kotlin.Enum<kotlin.InlineOption> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
 
         // Static members
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final enum class InlineStrategy : kotlin.Enum<kotlin.InlineStrategy> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
 
         // Static members
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Int : kotlin.Number, kotlin.Comparable<kotlin.Int> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class IntArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class IntIterator : kotlin.Iterator<kotlin.Int> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class IntProgression : kotlin.Progression<kotlin.Int> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class IntProgressionIterator : kotlin.IntIterator {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class IntRange : kotlin.Range<kotlin.Int>, kotlin.Progression<kotlin.Int> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Iterable</*0*/ out T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Iterator</*0*/ out T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait List</*0*/ out E> : kotlin.Collection<E> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait ListIterator</*0*/ out T> : kotlin.Iterator<T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Long : kotlin.Number, kotlin.Comparable<kotlin.Long> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class LongArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class LongIterator : kotlin.Iterator<kotlin.Long> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class LongProgression : kotlin.Progression<kotlin.Long> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class LongProgressionIterator : kotlin.LongIterator {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class LongRange : kotlin.Range<kotlin.Long>, kotlin.Progression<kotlin.Long> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Map</*0*/ K, /*1*/ out V> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait MutableCollection</*0*/ E> : kotlin.Collection<E>, kotlin.MutableIterable<E> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait MutableIterable</*0*/ out T> : kotlin.Iterable<T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait MutableIterator</*0*/ out T> : kotlin.Iterator<T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait MutableList</*0*/ E> : kotlin.List<E>, kotlin.MutableCollection<E> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait MutableListIterator</*0*/ T> : kotlin.ListIterator<T>, kotlin.MutableIterator<T> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait MutableMap</*0*/ K, /*1*/ V> : kotlin.Map<K, V> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait MutableSet</*0*/ E> : kotlin.Set<E>, kotlin.MutableCollection<E> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Nothing {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class Number {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Progression</*0*/ out N : kotlin.Any> : kotlin.Iterable<N> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait PropertyMetadata {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class PropertyMetadataImpl : kotlin.PropertyMetadata {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Range</*0*/ T : kotlin.Comparable<T>> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public trait Set</*0*/ out E> : kotlin.Collection<E> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class Short : kotlin.Number, kotlin.Comparable<kotlin.Short> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class ShortArray : kotlin.Cloneable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public abstract class ShortIterator : kotlin.Iterator<kotlin.Short> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class ShortProgression : kotlin.Progression<kotlin.Short> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     internal final class ShortProgressionIterator : kotlin.ShortIterator {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class ShortRange : kotlin.Range<kotlin.Short>, kotlin.Progression<kotlin.Short> {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final class String : kotlin.Comparable<kotlin.String>, kotlin.CharSequence {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public open class Throwable {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public object Unit {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final annotation class data : kotlin.Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final annotation class deprecated : kotlin.Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final annotation class inline : kotlin.Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final annotation class inlineOptions : kotlin.Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final annotation class noinline : kotlin.Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final annotation class suppress : kotlin.Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     public final annotation class tailRecursive : kotlin.Annotation {
-        // -- Module: <built-ins lazy module> --
+        // -- Module: <built-ins module> --
     }
 
     package kotlin.util {