Transform `Collection.isEmpty` and `Map.Entry.key/value` to properties

compiler/testData/builtin-classes.txt

@@ -272,11 +272,12 @@ public interface Cloneable {
 }
 
 public interface Collection</*0*/ out E> : kotlin.Iterable<E> {
+    public abstract val isEmpty: kotlin.Boolean
+        public abstract fun <get-isEmpty>(): kotlin.Boolean
     public abstract val size: kotlin.Int
         public abstract fun <get-size>(): kotlin.Int
     public abstract operator fun contains(/*0*/ o: @kotlin.UnsafeVariance() E): kotlin.Boolean
     public abstract fun containsAll(/*0*/ c: kotlin.Collection<@kotlin.UnsafeVariance() E>): kotlin.Boolean
-    public abstract fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ fun iterator(): kotlin.Iterator<E>
 }
 
@@ -769,13 +770,14 @@ public interface Iterator</*0*/ out T> {
 }
 
 public interface List</*0*/ out E> : kotlin.Collection<E> {
+    public abstract override /*1*/ val isEmpty: kotlin.Boolean
+        public abstract override /*1*/ fun <get-isEmpty>(): kotlin.Boolean
     public abstract override /*1*/ val size: kotlin.Int
         public abstract override /*1*/ fun <get-size>(): kotlin.Int
     public abstract override /*1*/ fun contains(/*0*/ o: @kotlin.UnsafeVariance() E): kotlin.Boolean
     public abstract override /*1*/ fun containsAll(/*0*/ c: kotlin.Collection<@kotlin.UnsafeVariance() E>): kotlin.Boolean
     public abstract operator fun get(/*0*/ index: kotlin.Int): E
     public abstract fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public abstract override /*1*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ fun iterator(): kotlin.Iterator<E>
     public abstract fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public abstract fun listIterator(): kotlin.ListIterator<E>
@@ -929,23 +931,28 @@ public final class LongRange : kotlin.Range<kotlin.Long>, kotlin.Progression<kot
 }
 
 public interface Map</*0*/ K, /*1*/ out V> {
+    public abstract val isEmpty: kotlin.Boolean
+        public abstract fun <get-isEmpty>(): kotlin.Boolean
     public abstract val size: kotlin.Int
         public abstract fun <get-size>(): kotlin.Int
     public abstract fun containsKey(/*0*/ key: kotlin.Any?): kotlin.Boolean
     public abstract fun containsValue(/*0*/ value: kotlin.Any?): kotlin.Boolean
     public abstract fun entrySet(): kotlin.Set<kotlin.Map.Entry<K, V>>
     public abstract operator fun get(/*0*/ key: kotlin.Any?): V?
-    public abstract fun isEmpty(): kotlin.Boolean
     public abstract fun keySet(): kotlin.Set<K>
     public abstract fun values(): kotlin.Collection<V>
 
     public interface Entry</*0*/ out K, /*1*/ out V> {
-        public abstract fun getKey(): K
-        public abstract fun getValue(): V
+        public abstract val key: K
+            public abstract fun <get-key>(): K
+        public abstract val value: V
+            public abstract fun <get-value>(): V
     }
 }
 
 public interface MutableCollection</*0*/ E> : kotlin.Collection<E>, kotlin.MutableIterable<E> {
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
+        public abstract override /*1*/ /*fake_override*/ fun <get-isEmpty>(): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
         public abstract override /*1*/ /*fake_override*/ fun <get-size>(): kotlin.Int
     public abstract fun add(/*0*/ e: E): kotlin.Boolean
@@ -953,7 +960,6 @@ public interface MutableCollection</*0*/ E> : kotlin.Collection<E>, kotlin.Mutab
     public abstract fun clear(): kotlin.Unit
     public abstract override /*1*/ /*fake_override*/ fun contains(/*0*/ o: E): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<E>): kotlin.Boolean
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*2*/ fun iterator(): kotlin.MutableIterator<E>
     public abstract fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public abstract fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
@@ -971,6 +977,8 @@ public interface MutableIterator</*0*/ out T> : kotlin.Iterator<T> {
 }
 
 public interface MutableList</*0*/ E> : kotlin.List<E>, kotlin.MutableCollection<E> {
+    public abstract override /*2*/ /*fake_override*/ val isEmpty: kotlin.Boolean
+        public abstract override /*2*/ /*fake_override*/ fun <get-isEmpty>(): kotlin.Boolean
     public abstract override /*2*/ /*fake_override*/ val size: kotlin.Int
         public abstract override /*2*/ /*fake_override*/ fun <get-size>(): kotlin.Int
     public abstract override /*1*/ fun add(/*0*/ e: E): kotlin.Boolean
@@ -982,7 +990,6 @@ public interface MutableList</*0*/ E> : kotlin.List<E>, kotlin.MutableCollection
     public abstract override /*2*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<E>): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun get(/*0*/ index: kotlin.Int): E
     public abstract override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public abstract override /*2*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*2*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<E>
     public abstract override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public abstract override /*1*/ fun listIterator(): kotlin.MutableListIterator<E>
@@ -1008,6 +1015,8 @@ public interface MutableListIterator</*0*/ T> : kotlin.ListIterator<T>, kotlin.M
 }
 
 public interface MutableMap</*0*/ K, /*1*/ V> : kotlin.Map<K, V> {
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
+        public abstract override /*1*/ /*fake_override*/ fun <get-isEmpty>(): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
         public abstract override /*1*/ /*fake_override*/ fun <get-size>(): kotlin.Int
     public abstract fun clear(): kotlin.Unit
@@ -1015,7 +1024,6 @@ public interface MutableMap</*0*/ K, /*1*/ V> : kotlin.Map<K, V> {
     public abstract override /*1*/ /*fake_override*/ fun containsValue(/*0*/ value: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ fun entrySet(): kotlin.MutableSet<kotlin.MutableMap.MutableEntry<K, V>>
     public abstract override /*1*/ /*fake_override*/ fun get(/*0*/ key: kotlin.Any?): V?
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ fun keySet(): kotlin.MutableSet<K>
     public abstract fun put(/*0*/ key: K, /*1*/ value: V): V?
     public abstract fun putAll(/*0*/ m: kotlin.Map<out K, V>): kotlin.Unit
@@ -1023,13 +1031,17 @@ public interface MutableMap</*0*/ K, /*1*/ V> : kotlin.Map<K, V> {
     public abstract override /*1*/ fun values(): kotlin.MutableCollection<V>
 
     public interface MutableEntry</*0*/ K, /*1*/ V> : kotlin.Map.Entry<K, V> {
-        public abstract override /*1*/ /*fake_override*/ fun getKey(): K
-        public abstract override /*1*/ /*fake_override*/ fun getValue(): V
+        public abstract override /*1*/ /*fake_override*/ val key: K
+            public abstract override /*1*/ /*fake_override*/ fun <get-key>(): K
+        public abstract override /*1*/ /*fake_override*/ val value: V
+            public abstract override /*1*/ /*fake_override*/ fun <get-value>(): V
         public abstract fun setValue(/*0*/ value: V): V
     }
 }
 
 public interface MutableSet</*0*/ E> : kotlin.Set<E>, kotlin.MutableCollection<E> {
+    public abstract override /*2*/ /*fake_override*/ val isEmpty: kotlin.Boolean
+        public abstract override /*2*/ /*fake_override*/ fun <get-isEmpty>(): kotlin.Boolean
     public abstract override /*2*/ /*fake_override*/ val size: kotlin.Int
         public abstract override /*2*/ /*fake_override*/ fun <get-size>(): kotlin.Int
     public abstract override /*1*/ fun add(/*0*/ e: E): kotlin.Boolean
@@ -1037,7 +1049,6 @@ public interface MutableSet</*0*/ E> : kotlin.Set<E>, kotlin.MutableCollection<E
     public abstract override /*1*/ fun clear(): kotlin.Unit
     public abstract override /*2*/ /*fake_override*/ fun contains(/*0*/ o: E): kotlin.Boolean
     public abstract override /*2*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<E>): kotlin.Boolean
-    public abstract override /*2*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*2*/ fun iterator(): kotlin.MutableIterator<E>
     public abstract override /*1*/ fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
@@ -1104,11 +1115,12 @@ public interface Range</*0*/ T : kotlin.Comparable<T>> {
 }
 
 public interface Set</*0*/ out E> : kotlin.Collection<E> {
+    public abstract override /*1*/ val isEmpty: kotlin.Boolean
+        public abstract override /*1*/ fun <get-isEmpty>(): kotlin.Boolean
     public abstract override /*1*/ val size: kotlin.Int
         public abstract override /*1*/ fun <get-size>(): kotlin.Int
     public abstract override /*1*/ fun contains(/*0*/ o: @kotlin.UnsafeVariance() E): kotlin.Boolean
     public abstract override /*1*/ fun containsAll(/*0*/ c: kotlin.Collection<@kotlin.UnsafeVariance() E>): kotlin.Boolean
-    public abstract override /*1*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ fun iterator(): kotlin.Iterator<E>
 }
 

compiler/testData/compileJavaAgainstKotlin/class/ExtendsAbstractListT.txt

@@ -6,6 +6,7 @@ public/*package*/ open class ExtendsAbstractListT {
 
 public abstract class Mine</*0*/ T> : java.util.AbstractList<T> {
     public constructor Mine</*0*/ T>()
+    public open /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final /*fake_override*/ var modCount: kotlin.Int
     public abstract /*fake_override*/ val size: kotlin.Int
     public open /*fake_override*/ fun add(/*0*/ T!): kotlin.Boolean
@@ -17,7 +18,6 @@ public abstract class Mine</*0*/ T> : java.util.AbstractList<T> {
     public open /*fake_override*/ fun containsAll(/*0*/ kotlin.Collection<T!>): kotlin.Boolean
     public abstract /*fake_override*/ fun get(/*0*/ kotlin.Int): T!
     public open /*fake_override*/ fun indexOf(/*0*/ kotlin.Any?): kotlin.Int
-    public open /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open /*fake_override*/ fun iterator(): kotlin.MutableIterator<T!>
     public open /*fake_override*/ fun lastIndexOf(/*0*/ kotlin.Any?): kotlin.Int
     public open /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<T!>

compiler/testData/compileJavaAgainstKotlin/class/ImplementsListString.txt

@@ -2,6 +2,7 @@ package test
 
 public abstract class Mine : java.util.List<kotlin.String> {
     public constructor Mine()
+    public abstract /*fake_override*/ val isEmpty: kotlin.Boolean
     public abstract /*fake_override*/ val size: kotlin.Int
     public abstract /*fake_override*/ fun add(/*0*/ kotlin.Int, /*1*/ kotlin.String!): kotlin.Unit
     public abstract /*fake_override*/ fun add(/*0*/ kotlin.String!): kotlin.Boolean
@@ -12,7 +13,6 @@ public abstract class Mine : java.util.List<kotlin.String> {
     public abstract /*fake_override*/ fun containsAll(/*0*/ kotlin.Collection<kotlin.String!>): kotlin.Boolean
     public abstract /*fake_override*/ fun get(/*0*/ kotlin.Int): kotlin.String!
     public abstract /*fake_override*/ fun indexOf(/*0*/ kotlin.Any!): kotlin.Int
-    public abstract /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String!>
     public abstract /*fake_override*/ fun lastIndexOf(/*0*/ kotlin.Any!): kotlin.Int
     public abstract /*fake_override*/ fun listIterator(): kotlin.(Mutable)ListIterator<kotlin.String!>!

compiler/testData/diagnostics/tests/ValAndFunOverrideCompatibilityClash.txt

@@ -21,6 +21,7 @@ public final class Barr : Bar {
 public final class Foo1 : java.util.ArrayList<kotlin.Int> {
     public constructor Foo1()
     invisible_fake final override /*1*/ /*fake_override*/ var elementData: kotlin.Array<(out) kotlin.Any!>!
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     invisible_fake final override /*1*/ /*fake_override*/ var size: kotlin.Int
     public open override /*1*/ /*fake_override*/ val size: kotlin.Int
@@ -42,7 +43,6 @@ public final class Foo1 : java.util.ArrayList<kotlin.Int> {
     invisible_fake open override /*1*/ /*fake_override*/ fun grow(/*0*/ p0: kotlin.Int): kotlin.Unit
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.Int>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<kotlin.Int>

compiler/testData/diagnostics/tests/exposed/typeArgs.txt

@@ -7,6 +7,7 @@ public interface Generic</*0*/ E : My> {
 }
 
 public interface His : kotlin.List<My> {
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun contains(/*0*/ o: My): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<My>): kotlin.Boolean
@@ -14,7 +15,6 @@ public interface His : kotlin.List<My> {
     public abstract override /*1*/ /*fake_override*/ fun get(/*0*/ index: kotlin.Int): My
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun iterator(): kotlin.Iterator<My>
     public abstract override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun listIterator(): kotlin.ListIterator<My>

compiler/testData/diagnostics/tests/j+k/GenericsInSupertypes.txt

@@ -3,6 +3,7 @@ package
 public abstract class AL : java.util.ArrayList<p.P> {
     public constructor AL()
     invisible_fake final override /*1*/ /*fake_override*/ var elementData: kotlin.Array<(out) kotlin.Any!>!
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     invisible_fake final override /*1*/ /*fake_override*/ var size: kotlin.Int
     public open override /*1*/ /*fake_override*/ val size: kotlin.Int
@@ -24,7 +25,6 @@ public abstract class AL : java.util.ArrayList<p.P> {
     invisible_fake open override /*1*/ /*fake_override*/ fun grow(/*0*/ p0: kotlin.Int): kotlin.Unit
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<p.P>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<p.P>

compiler/testData/diagnostics/tests/j+k/collectionOverrides/contains.txt

@@ -4,6 +4,7 @@ public fun foo(/*0*/ a: A<kotlin.String>, /*1*/ b: B, /*2*/ ic: IC, /*3*/ ka: KA
 
 public abstract class A</*0*/ T : kotlin.Any!> : kotlin.MutableCollection<T!> {
     public constructor A</*0*/ T : kotlin.Any!>()
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: T!): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ c: kotlin.Collection<T!>): kotlin.Boolean
@@ -12,7 +13,6 @@ public abstract class A</*0*/ T : kotlin.Any!> : kotlin.MutableCollection<T!> {
     public abstract override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<T!>): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<T!>
     public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
@@ -22,6 +22,7 @@ public abstract class A</*0*/ T : kotlin.Any!> : kotlin.MutableCollection<T!> {
 
 public abstract class B : kotlin.MutableCollection<kotlin.String!> {
     public constructor B()
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: kotlin.String!): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ c: kotlin.Collection<kotlin.String!>): kotlin.Boolean
@@ -30,7 +31,6 @@ public abstract class B : kotlin.MutableCollection<kotlin.String!> {
     public abstract override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<kotlin.String!>): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String!>
     public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
@@ -39,6 +39,7 @@ public abstract class B : kotlin.MutableCollection<kotlin.String!> {
 }
 
 public interface IC : kotlin.MutableCollection<kotlin.String!> {
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: kotlin.String!): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ c: kotlin.Collection<kotlin.String!>): kotlin.Boolean
@@ -47,7 +48,6 @@ public interface IC : kotlin.MutableCollection<kotlin.String!> {
     public abstract override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<kotlin.String!>): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String!>
     public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
@@ -57,6 +57,7 @@ public interface IC : kotlin.MutableCollection<kotlin.String!> {
 
 public abstract class KA</*0*/ T> : java.util.AbstractList<T> {
     public constructor KA</*0*/ T>()
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun add(/*0*/ e: T!): kotlin.Boolean
@@ -70,7 +71,6 @@ public abstract class KA</*0*/ T> : java.util.AbstractList<T> {
     public abstract override /*1*/ /*fake_override*/ fun get(/*0*/ index: kotlin.Int): T!
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<T!>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<T!>
@@ -91,6 +91,7 @@ public abstract class KA</*0*/ T> : java.util.AbstractList<T> {
 
 public abstract class KB : java.util.AbstractList<kotlin.String>, IC {
     public constructor KB()
+    public open override /*2*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     public abstract override /*2*/ /*fake_override*/ val size: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun add(/*0*/ index: kotlin.Int, /*1*/ element: kotlin.String!): kotlin.Unit
@@ -104,7 +105,6 @@ public abstract class KB : java.util.AbstractList<kotlin.String>, IC {
     public abstract override /*1*/ /*fake_override*/ fun get(/*0*/ index: kotlin.Int): kotlin.String!
     public open override /*2*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*2*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*2*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String!>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<kotlin.String!>

compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAll.txt

@@ -4,6 +4,7 @@ public fun foo(/*0*/ a: A<kotlin.String>, /*1*/ b: B, /*2*/ ic: IC, /*3*/ ka: KA
 
 public abstract class A</*0*/ T : kotlin.Any!> : kotlin.MutableCollection<T!> {
     public constructor A</*0*/ T : kotlin.Any!>()
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: T!): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ c: kotlin.Collection<T!>): kotlin.Boolean
@@ -12,7 +13,6 @@ public abstract class A</*0*/ T : kotlin.Any!> : kotlin.MutableCollection<T!> {
     public open override /*1*/ /*synthesized*/ fun containsAll(/*0*/ c: kotlin.Collection<T!>): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<T!>
     public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
@@ -22,6 +22,7 @@ public abstract class A</*0*/ T : kotlin.Any!> : kotlin.MutableCollection<T!> {
 
 public abstract class B : kotlin.MutableCollection<kotlin.String!> {
     public constructor B()
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: kotlin.String!): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ c: kotlin.Collection<kotlin.String!>): kotlin.Boolean
@@ -30,7 +31,6 @@ public abstract class B : kotlin.MutableCollection<kotlin.String!> {
     public open override /*1*/ /*synthesized*/ fun containsAll(/*0*/ c: kotlin.Collection<kotlin.String!>): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String!>
     public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
@@ -39,6 +39,7 @@ public abstract class B : kotlin.MutableCollection<kotlin.String!> {
 }
 
 public interface IC : kotlin.MutableCollection<kotlin.String!> {
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: kotlin.String!): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ c: kotlin.Collection<kotlin.String!>): kotlin.Boolean
@@ -47,7 +48,6 @@ public interface IC : kotlin.MutableCollection<kotlin.String!> {
     public abstract override /*1*/ /*synthesized*/ fun containsAll(/*0*/ c: kotlin.Collection<kotlin.String!>): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String!>
     public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
@@ -57,6 +57,7 @@ public interface IC : kotlin.MutableCollection<kotlin.String!> {
 
 public abstract class KA</*0*/ T> : java.util.AbstractList<T> {
     public constructor KA</*0*/ T>()
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun add(/*0*/ e: T!): kotlin.Boolean
@@ -70,7 +71,6 @@ public abstract class KA</*0*/ T> : java.util.AbstractList<T> {
     public abstract override /*1*/ /*fake_override*/ fun get(/*0*/ index: kotlin.Int): T!
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<T!>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<T!>
@@ -91,6 +91,7 @@ public abstract class KA</*0*/ T> : java.util.AbstractList<T> {
 
 public abstract class KB : java.util.AbstractList<kotlin.String>, IC {
     public constructor KB()
+    public open override /*2*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     public abstract override /*2*/ /*fake_override*/ val size: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun add(/*0*/ index: kotlin.Int, /*1*/ element: kotlin.String!): kotlin.Unit
@@ -104,7 +105,6 @@ public abstract class KB : java.util.AbstractList<kotlin.String>, IC {
     public abstract override /*1*/ /*fake_override*/ fun get(/*0*/ index: kotlin.Int): kotlin.String!
     public open override /*2*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*2*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*2*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String!>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<kotlin.String!>

compiler/testData/diagnostics/tests/j+k/collectionOverrides/containsAndOverload.txt

@@ -4,6 +4,7 @@ public fun foo(/*0*/ a: A, /*1*/ ka: KA): kotlin.Unit
 
 public abstract class A : kotlin.MutableCollection<kotlin.String!> {
     public constructor A()
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: kotlin.String!): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ c: kotlin.Collection<kotlin.String!>): kotlin.Boolean
@@ -13,7 +14,6 @@ public abstract class A : kotlin.MutableCollection<kotlin.String!> {
     public abstract override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<kotlin.String!>): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String!>
     public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
@@ -23,6 +23,7 @@ public abstract class A : kotlin.MutableCollection<kotlin.String!> {
 
 public abstract class KA : A {
     public constructor KA()
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: kotlin.String!): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ c: kotlin.Collection<kotlin.String!>): kotlin.Boolean
@@ -31,7 +32,6 @@ public abstract class KA : A {
     public abstract override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<kotlin.String!>): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String!>
     public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean

compiler/testData/diagnostics/tests/j+k/finalCollectionSize.txt

@@ -3,6 +3,7 @@ package
 public abstract class A : java.util.ArrayList<kotlin.String!> {
     public constructor A()
     invisible_fake final override /*1*/ /*fake_override*/ var elementData: kotlin.Array<(out) kotlin.Any!>!
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     public final override /*1*/ val size: kotlin.Int
     invisible_fake final override /*1*/ /*fake_override*/ var size: kotlin.Int
@@ -24,7 +25,6 @@ public abstract class A : java.util.ArrayList<kotlin.String!> {
     invisible_fake open override /*1*/ /*fake_override*/ fun grow(/*0*/ p0: kotlin.Int): kotlin.Unit
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String!>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<kotlin.String!>
@@ -57,6 +57,7 @@ public abstract class A : java.util.ArrayList<kotlin.String!> {
 public final class B : A {
     public constructor B()
     invisible_fake final override /*1*/ /*fake_override*/ var elementData: kotlin.Array<(out) kotlin.Any!>!
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     public open override /*1*/ val size: kotlin.Int = 1
     invisible_fake final override /*1*/ /*fake_override*/ var size: kotlin.Int
@@ -78,7 +79,6 @@ public final class B : A {
     invisible_fake open override /*1*/ /*fake_override*/ fun grow(/*0*/ p0: kotlin.Int): kotlin.Unit
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String!>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<kotlin.String!>

compiler/testData/diagnostics/tests/j+k/specialBridges.txt

@@ -3,6 +3,7 @@ package
 public final class B2 : java.util.ArrayList<kotlin.String>, I2 {
     public constructor B2()
     invisible_fake final override /*1*/ /*fake_override*/ var elementData: kotlin.Array<(out) kotlin.Any!>!
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     invisible_fake final override /*1*/ /*fake_override*/ var size: kotlin.Int
     public open override /*2*/ /*fake_override*/ val size: kotlin.Int
@@ -24,7 +25,6 @@ public final class B2 : java.util.ArrayList<kotlin.String>, I2 {
     invisible_fake open override /*1*/ /*fake_override*/ fun grow(/*0*/ p0: kotlin.Int): kotlin.Unit
     public open override /*2*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<kotlin.String>

compiler/testData/diagnostics/tests/platformTypes/genericVarianceViolation/listSuperType.txt

@@ -12,6 +12,7 @@ public open class A {
 
 public abstract class B : kotlin.MutableList<kotlin.String> {
     public constructor B()
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ index: kotlin.Int, /*1*/ element: kotlin.String): kotlin.Unit
     public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: kotlin.String): kotlin.Boolean
@@ -24,7 +25,6 @@ public abstract class B : kotlin.MutableList<kotlin.String> {
     public abstract override /*1*/ /*fake_override*/ fun get(/*0*/ index: kotlin.Int): kotlin.String
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String>
     public abstract override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<kotlin.String>

compiler/testData/diagnostics/tests/platformTypes/methodCall/multipleExactBoundsNullable.txt

@@ -4,6 +4,7 @@ public fun </*0*/ M2 : WithFoo> foo(/*0*/ delegateResolver: ResolverForProject<M
 
 public/*package*/ open class MyMap</*0*/ K : kotlin.Any!, /*1*/ V : kotlin.Any!> : java.util.AbstractMap<K!, V!> {
     public/*package*/ constructor MyMap</*0*/ K : kotlin.Any!, /*1*/ V : kotlin.Any!>()
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     invisible_fake final override /*1*/ /*fake_override*/ var keySet: kotlin.(Mutable)Set<K!>!
     public open override /*1*/ /*fake_override*/ val size: kotlin.Int
     invisible_fake final override /*1*/ /*fake_override*/ var values: kotlin.(Mutable)Collection<V!>!
@@ -15,7 +16,6 @@ public/*package*/ open class MyMap</*0*/ K : kotlin.Any!, /*1*/ V : kotlin.Any!>
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun get(/*0*/ key: kotlin.Any?): V?
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun keySet(): kotlin.MutableSet<K!>
     public open override /*1*/ /*fake_override*/ fun put(/*0*/ key: K!, /*1*/ value: V!): V?
     public open override /*1*/ /*fake_override*/ fun putAll(/*0*/ m: kotlin.Map<out K!, V!>): kotlin.Unit

compiler/testData/diagnostics/tests/platformTypes/nullabilityWarnings/delegation.txt

@@ -2,6 +2,7 @@ package
 
 public final class A : kotlin.List<kotlin.String> {
     public constructor A()
+    public open override /*1*/ /*delegation*/ val isEmpty: kotlin.Boolean
     public open override /*1*/ /*delegation*/ val size: kotlin.Int
     public open override /*1*/ /*delegation*/ fun contains(/*0*/ o: kotlin.String): kotlin.Boolean
     public open override /*1*/ /*delegation*/ fun containsAll(/*0*/ c: kotlin.Collection<kotlin.String>): kotlin.Boolean
@@ -9,7 +10,6 @@ public final class A : kotlin.List<kotlin.String> {
     public open override /*1*/ /*delegation*/ fun get(/*0*/ index: kotlin.Int): kotlin.String
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*delegation*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*delegation*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*delegation*/ fun iterator(): kotlin.Iterator<kotlin.String>
     public open override /*1*/ /*delegation*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*delegation*/ fun listIterator(): kotlin.ListIterator<kotlin.String>
@@ -20,6 +20,7 @@ public final class A : kotlin.List<kotlin.String> {
 
 public final class B : kotlin.List<kotlin.String> {
     public constructor B()
+    public open override /*1*/ /*delegation*/ val isEmpty: kotlin.Boolean
     public open override /*1*/ /*delegation*/ val size: kotlin.Int
     public open override /*1*/ /*delegation*/ fun contains(/*0*/ o: kotlin.String): kotlin.Boolean
     public open override /*1*/ /*delegation*/ fun containsAll(/*0*/ c: kotlin.Collection<kotlin.String>): kotlin.Boolean
@@ -27,7 +28,6 @@ public final class B : kotlin.List<kotlin.String> {
     public open override /*1*/ /*delegation*/ fun get(/*0*/ index: kotlin.Int): kotlin.String
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*delegation*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*delegation*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*delegation*/ fun iterator(): kotlin.Iterator<kotlin.String>
     public open override /*1*/ /*delegation*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*delegation*/ fun listIterator(): kotlin.ListIterator<kotlin.String>
@@ -38,6 +38,7 @@ public final class B : kotlin.List<kotlin.String> {
 
 public final class C : kotlin.List<kotlin.String> {
     public constructor C()
+    public open override /*1*/ /*delegation*/ val isEmpty: kotlin.Boolean
     public open override /*1*/ /*delegation*/ val size: kotlin.Int
     public open override /*1*/ /*delegation*/ fun contains(/*0*/ o: kotlin.String): kotlin.Boolean
     public open override /*1*/ /*delegation*/ fun containsAll(/*0*/ c: kotlin.Collection<kotlin.String>): kotlin.Boolean
@@ -45,7 +46,6 @@ public final class C : kotlin.List<kotlin.String> {
     public open override /*1*/ /*delegation*/ fun get(/*0*/ index: kotlin.Int): kotlin.String
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*delegation*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*delegation*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*delegation*/ fun iterator(): kotlin.Iterator<kotlin.String>
     public open override /*1*/ /*delegation*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*delegation*/ fun listIterator(): kotlin.ListIterator<kotlin.String>

compiler/testData/diagnostics/tests/platformTypes/supertypeTypeArguments.txt

 package
 
 public interface ExtMap</*0*/ K, /*1*/ V> : kotlin.Map<K, V> {
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun containsKey(/*0*/ key: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun containsValue(/*0*/ value: kotlin.Any?): kotlin.Boolean
@@ -8,7 +9,6 @@ public interface ExtMap</*0*/ K, /*1*/ V> : kotlin.Map<K, V> {
     public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun get(/*0*/ key: kotlin.Any?): V?
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun keySet(): kotlin.Set<K>
     public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
     public abstract override /*1*/ /*fake_override*/ fun values(): kotlin.Collection<V>
@@ -18,6 +18,7 @@ public final class HashMapEx</*0*/ K, /*1*/ V> : java.util.HashMap<K, V>, ExtMap
     public constructor HashMapEx</*0*/ K, /*1*/ V>()
     invisible_fake final override /*1*/ /*fake_override*/ var entrySet: kotlin.(Mutable)Set<kotlin.(Mutable)Map.(Mutable)Entry<K!, V!>!>!
     invisible_fake final override /*1*/ /*fake_override*/ val hashSeed: kotlin.Int
+    public open override /*2*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     invisible_fake final override /*1*/ /*fake_override*/ var keySet: kotlin.(Mutable)Set<K!>!
     invisible_fake final override /*1*/ /*fake_override*/ val loadFactor: kotlin.Float
     invisible_fake final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
@@ -44,7 +45,6 @@ public final class HashMapEx</*0*/ K, /*1*/ V> : java.util.HashMap<K, V>, ExtMap
     invisible_fake final override /*1*/ /*fake_override*/ fun hash(/*0*/ p0: kotlin.Any!): kotlin.Int
     public open override /*2*/ /*fake_override*/ fun hashCode(): kotlin.Int
     invisible_fake open override /*1*/ /*fake_override*/ fun init(): kotlin.Unit
-    public open override /*2*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*2*/ /*fake_override*/ fun keySet(): kotlin.MutableSet<K>
     invisible_fake open override /*1*/ /*fake_override*/ fun loadFactor(): kotlin.Float
     invisible_fake open override /*1*/ /*fake_override*/ fun newEntryIterator(): kotlin.(Mutable)Iterator<kotlin.(Mutable)Map.(Mutable)Entry<K!, V!>!>!

compiler/testData/diagnostics/tests/scopes/visibility2.txt

@@ -34,6 +34,7 @@ package b {
     public final class NewClass : java.util.ArrayList<java.lang.Integer> {
         public constructor NewClass()
         invisible_fake final override /*1*/ /*fake_override*/ var elementData: kotlin.Array<(out) kotlin.Any!>!
+        public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
         protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
         invisible_fake final override /*1*/ /*fake_override*/ var size: kotlin.Int
         public open override /*1*/ /*fake_override*/ val size: kotlin.Int
@@ -55,7 +56,6 @@ package b {
         invisible_fake open override /*1*/ /*fake_override*/ fun grow(/*0*/ p0: kotlin.Int): kotlin.Unit
         public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
         public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
         public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<java.lang.Integer>
         public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
         public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<java.lang.Integer>

compiler/testData/diagnostics/tests/smartCasts/varnotnull/unnecessaryWithMap.kt

@@ -2,9 +2,9 @@ fun create(): Map<String, String> = null!!
 
 operator fun <K, V> Map<K, V>.iterator(): Iterator<Map.Entry<K, V>> = null!!
 
-operator fun <K, V> Map.Entry<K, V>.component1() = getKey()
+operator fun <K, V> Map.Entry<K, V>.component1() = key
 
-operator fun <K, V> Map.Entry<K, V>.component2() = getValue()
+operator fun <K, V> Map.Entry<K, V>.component2() = value
 
 class MyClass {
     private var m: Map<String, String>? = null

compiler/testData/diagnostics/tests/subtyping/kt-1457.txt

@@ -5,6 +5,7 @@ public fun test(): kotlin.Unit
 public final class MyListOfPairs</*0*/ T> : java.util.ArrayList<Pair<T, T>> {
     public constructor MyListOfPairs</*0*/ T>()
     invisible_fake final override /*1*/ /*fake_override*/ var elementData: kotlin.Array<(out) kotlin.Any!>!
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     invisible_fake final override /*1*/ /*fake_override*/ var size: kotlin.Int
     public open override /*1*/ /*fake_override*/ val size: kotlin.Int
@@ -26,7 +27,6 @@ public final class MyListOfPairs</*0*/ T> : java.util.ArrayList<Pair<T, T>> {
     invisible_fake open override /*1*/ /*fake_override*/ fun grow(/*0*/ p0: kotlin.Int): kotlin.Unit
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<Pair<T, T>>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<Pair<T, T>>

compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/customClassMutableCollection.txt

@@ -5,6 +5,7 @@ public fun foo(): kotlin.Unit
 
 @kotlin.jvm.PurelyImplements(value = "kotlin.MutableCollection") public/*package*/ open class A</*0*/ T : kotlin.Any!> : java.util.AbstractCollection<T!>, kotlin.MutableCollection<T> {
     public/*package*/ constructor A</*0*/ T : kotlin.Any!>()
+    public open override /*2*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     public open override /*2*/ val size: kotlin.Int
     public open override /*2*/ /*fake_override*/ fun add(/*0*/ e: T): kotlin.Boolean
     public open override /*2*/ /*fake_override*/ fun addAll(/*0*/ c: kotlin.Collection<T>): kotlin.Boolean
@@ -13,7 +14,6 @@ public fun foo(): kotlin.Unit
     public open override /*2*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<T>): kotlin.Boolean
     public open override /*2*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
     public open override /*2*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*2*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     @java.lang.Override() public open override /*2*/ fun iterator(): kotlin.MutableIterator<T>
     public open override /*2*/ /*fake_override*/ fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public open override /*2*/ /*fake_override*/ fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean

compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/customClassMutableList.txt

@@ -5,6 +5,7 @@ public fun foo(): kotlin.Unit
 
 @kotlin.jvm.PurelyImplements(value = "kotlin.MutableList") public/*package*/ open class A</*0*/ T : kotlin.Any!> : java.util.AbstractList<T!>, kotlin.MutableList<T> {
     public/*package*/ constructor A</*0*/ T : kotlin.Any!>()
+    public open override /*2*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     public open override /*2*/ val size: kotlin.Int
     public open override /*2*/ /*fake_override*/ fun add(/*0*/ e: T): kotlin.Boolean
@@ -18,7 +19,6 @@ public fun foo(): kotlin.Unit
     @java.lang.Override() public open override /*2*/ fun get(/*0*/ index: kotlin.Int): T
     public open override /*2*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*2*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*2*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*2*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<T>
     public open override /*2*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*2*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<T>

compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/invalidFqName.txt

@@ -5,6 +5,7 @@ public val y: B<kotlin.String>
 
 @kotlin.jvm.PurelyImplements(value = "") public open class A</*0*/ T : kotlin.Any!> : java.util.AbstractList<T!> {
     public constructor A</*0*/ T : kotlin.Any!>()
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     public open override /*1*/ val size: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun add(/*0*/ e: T!): kotlin.Boolean
@@ -18,7 +19,6 @@ public val y: B<kotlin.String>
     @java.lang.Override() public open override /*1*/ fun get(/*0*/ index: kotlin.Int): T!
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<T!>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<T!>
@@ -44,6 +44,7 @@ public val y: B<kotlin.String>
 
 @kotlin.jvm.PurelyImplements(value = "[INVALID]") public open class B</*0*/ T : kotlin.Any!> : java.util.AbstractList<T!> {
     public constructor B</*0*/ T : kotlin.Any!>()
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun add(/*0*/ e: T!): kotlin.Boolean
@@ -57,7 +58,6 @@ public val y: B<kotlin.String>
     public abstract override /*1*/ /*fake_override*/ fun get(/*0*/ index: kotlin.Int): T!
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<T!>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<T!>

compiler/testData/diagnostics/testsWithStdLib/purelyImplementedCollection/wrongTypeParametersCount.txt

@@ -5,6 +5,7 @@ public fun foo(): kotlin.Unit
 
 @kotlin.jvm.PurelyImplements(value = "kotlin.MutableList") public/*package*/ open class A</*0*/ T : kotlin.Any!, /*1*/ V : kotlin.Any!> : java.util.AbstractList<T!> {
     public/*package*/ constructor A</*0*/ T : kotlin.Any!, /*1*/ V : kotlin.Any!>()
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     public open override /*1*/ val size: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun add(/*0*/ e: T!): kotlin.Boolean
@@ -18,7 +19,6 @@ public fun foo(): kotlin.Unit
     @java.lang.Override() public open override /*1*/ fun get(/*0*/ index: kotlin.Int): T!
     public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<T!>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<T!>

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/HalfSubstitutedTypeParameters.txt

@@ -13,6 +13,7 @@ public interface HalfSubstitutedTypeParameters {
     }
 
     public interface TrickyList</*0*/ X : kotlin.Any!, /*1*/ E : kotlin.Any!> : kotlin.MutableList<E!> {
+        public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
         public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
         public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: E!): kotlin.Boolean
         public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ index: kotlin.Int, /*1*/ element: E!): kotlin.Unit
@@ -23,7 +24,6 @@ public interface HalfSubstitutedTypeParameters {
         public abstract override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<E!>): kotlin.Boolean
         public abstract override /*1*/ /*fake_override*/ fun get(/*0*/ index: kotlin.Int): E!
         public abstract override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-        public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
         public abstract override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<E!>
         public abstract override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
         public abstract override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<E!>

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/SubclassOfCollection.txt

 package test
 
 public interface SubclassOfCollection</*0*/ E : kotlin.Any!> : kotlin.MutableCollection<E!> {
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: E!): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ c: kotlin.Collection<E!>): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun clear(): kotlin.Unit
     public abstract override /*1*/ /*fake_override*/ fun contains(/*0*/ o: E!): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<E!>): kotlin.Boolean
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ fun iterator(): kotlin.MutableIterator<E!>
     public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/SubclassOfMapEntry.txt

 package test
 
 public interface SubclassOfMapEntry</*0*/ K : kotlin.Any!, /*1*/ V : kotlin.Any!> : kotlin.MutableMap.MutableEntry<K!, V!> {
-    public abstract override /*1*/ /*fake_override*/ fun getKey(): K!
-    public abstract override /*1*/ /*fake_override*/ fun getValue(): V!
+    public abstract override /*1*/ /*fake_override*/ val key: K!
+    public abstract override /*1*/ /*fake_override*/ val value: V!
     public abstract override /*1*/ fun setValue(/*0*/ value: V!): V!
 }

compiler/testData/loadJava/compiledJava/modality/ModalityOfFakeOverrides.txt

@@ -2,6 +2,7 @@ package test
 
 public open class ModalityOfFakeOverrides : java.util.AbstractList<kotlin.String!> {
     public constructor ModalityOfFakeOverrides()
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     public open override /*1*/ val size: kotlin.Int
     public open override /*1*/ /*fake_override*/ fun add(/*0*/ index: kotlin.Int, /*1*/ element: kotlin.String!): kotlin.Unit
@@ -13,7 +14,6 @@ public open class ModalityOfFakeOverrides : java.util.AbstractList<kotlin.String
     public open override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<kotlin.String!>): kotlin.Boolean
     @org.jetbrains.annotations.NotNull() public open override /*1*/ fun get(/*0*/ index: kotlin.Int): kotlin.String
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String!>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<kotlin.String!>

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/HalfSubstitutedTypeParameters.txt

@@ -13,6 +13,8 @@ public interface HalfSubstitutedTypeParameters {
     }
 
     public interface TrickyList</*0*/ X, /*1*/ E> : kotlin.MutableList<E> {
+        public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
+            public abstract override /*1*/ /*fake_override*/ fun <get-isEmpty>(): kotlin.Boolean
         public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
             public abstract override /*1*/ /*fake_override*/ fun <get-size>(): kotlin.Int
         public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: E): kotlin.Boolean
@@ -24,7 +26,6 @@ public interface HalfSubstitutedTypeParameters {
         public abstract override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<E>): kotlin.Boolean
         public abstract override /*1*/ /*fake_override*/ fun get(/*0*/ index: kotlin.Int): E
         public abstract override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-        public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
         public abstract override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<E>
         public abstract override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
         public abstract override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<E>

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/SubclassOfCollection.txt

 package test
 
 public interface SubclassOfCollection</*0*/ E> : kotlin.MutableCollection<E> {
+    public abstract override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
+        public abstract override /*1*/ /*fake_override*/ fun <get-isEmpty>(): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ val size: kotlin.Int
         public abstract override /*1*/ /*fake_override*/ fun <get-size>(): kotlin.Int
     public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: E): kotlin.Boolean
@@ -8,7 +10,6 @@ public interface SubclassOfCollection</*0*/ E> : kotlin.MutableCollection<E> {
     public abstract override /*1*/ /*fake_override*/ fun clear(): kotlin.Unit
     public abstract override /*1*/ /*fake_override*/ fun contains(/*0*/ o: E): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<E>): kotlin.Boolean
-    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public abstract override /*1*/ fun iterator(): kotlin.MutableIterator<E>
     public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/SubclassOfMapEntry.kt

 package test
 
 public interface SubclassOfMapEntry<K, V>: MutableMap.MutableEntry<K, V> {
+    override val value: V
     override fun setValue(value: V) : V
 }

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/SubclassOfMapEntry.txt

 package test
 
 public interface SubclassOfMapEntry</*0*/ K, /*1*/ V> : kotlin.MutableMap.MutableEntry<K, V> {
-    public abstract override /*1*/ /*fake_override*/ fun getKey(): K
-    public abstract override /*1*/ /*fake_override*/ fun getValue(): V
+    public abstract override /*1*/ /*fake_override*/ val key: K
+        public abstract override /*1*/ /*fake_override*/ fun <get-key>(): K
+    public abstract override /*1*/ val value: V
+        public abstract override /*1*/ fun <get-value>(): V
     public abstract override /*1*/ fun setValue(/*0*/ value: V): V
 }

compiler/testData/loadJava/compiledKotlin/fromLoadJava/modality/ModalityOfFakeOverrides.txt

@@ -2,6 +2,8 @@ package test
 
 public open class ModalityOfFakeOverrides : java.util.AbstractList<kotlin.String> {
     /*primary*/ public constructor ModalityOfFakeOverrides()
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun <get-isEmpty>(): kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     public open override /*1*/ val size: kotlin.Int
         public open override /*1*/ fun <get-size>(): kotlin.Int
@@ -14,7 +16,6 @@ public open class ModalityOfFakeOverrides : java.util.AbstractList<kotlin.String
     public open override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<kotlin.String!>): kotlin.Boolean
     public open override /*1*/ fun get(/*0*/ index: kotlin.Int): kotlin.String
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String!>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<kotlin.String!>

compiler/testData/loadJava/compiledKotlin/platformTypes/notnullTypeArgument.txt

@@ -3,6 +3,8 @@ package test
 public final class C : java.util.ArrayList<kotlin.String> {
     /*primary*/ public constructor C()
     invisible_fake final override /*1*/ /*fake_override*/ var elementData: kotlin.Array<(out) kotlin.Any!>!
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun <get-isEmpty>(): kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     invisible_fake final override /*1*/ /*fake_override*/ var size: kotlin.Int
     public open override /*1*/ /*fake_override*/ val size: kotlin.Int
@@ -23,7 +25,6 @@ public final class C : java.util.ArrayList<kotlin.String> {
     public open override /*1*/ /*fake_override*/ fun get(/*0*/ index: kotlin.Int): kotlin.String
     invisible_fake open override /*1*/ /*fake_override*/ fun grow(/*0*/ p0: kotlin.Int): kotlin.Unit
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<kotlin.String>

compiler/testData/loadJava/compiledKotlin/platformTypes/nullableTypeArgument.txt

@@ -3,6 +3,8 @@ package test
 public final class C : java.util.ArrayList<kotlin.String?> {
     /*primary*/ public constructor C()
     invisible_fake final override /*1*/ /*fake_override*/ var elementData: kotlin.Array<(out) kotlin.Any!>!
+    public open override /*1*/ /*fake_override*/ val isEmpty: kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun <get-isEmpty>(): kotlin.Boolean
     protected/*protected and package*/ final override /*1*/ /*fake_override*/ var modCount: kotlin.Int
     invisible_fake final override /*1*/ /*fake_override*/ var size: kotlin.Int
     public open override /*1*/ /*fake_override*/ val size: kotlin.Int
@@ -23,7 +25,6 @@ public final class C : java.util.ArrayList<kotlin.String?> {
     public open override /*1*/ /*fake_override*/ fun get(/*0*/ index: kotlin.Int): kotlin.String?
     invisible_fake open override /*1*/ /*fake_override*/ fun grow(/*0*/ p0: kotlin.Int): kotlin.Unit
     public open override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
     public open override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<kotlin.String?>
     public open override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
     public open override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<kotlin.String?>

core/builtins/native/kotlin/Collections.kt

@@ -54,7 +54,7 @@ public interface Collection<out E> : Iterable<E> {
     /**
      * Returns `true` if the collection is empty (contains no elements), `false` otherwise.
      */
-    public fun isEmpty(): Boolean
+    public val isEmpty: Boolean
 
     /**
      * Checks if the specified element is contained in this collection.
@@ -129,7 +129,7 @@ public interface MutableCollection<E> : Collection<E>, MutableIterable<E> {
 public interface List<out E> : Collection<E> {
     // Query Operations
     override val size: Int
-    override fun isEmpty(): Boolean
+    override val isEmpty: Boolean
     override fun contains(o: @UnsafeVariance E): Boolean
     override fun iterator(): Iterator<E>
 
@@ -233,7 +233,7 @@ public interface MutableList<E> : List<E>, MutableCollection<E> {
 public interface Set<out E> : Collection<E> {
     // Query Operations
     override val size: Int
-    override fun isEmpty(): Boolean
+    override val isEmpty: Boolean
     override fun contains(o: @UnsafeVariance E): Boolean
     override fun iterator(): Iterator<E>
 
@@ -279,7 +279,7 @@ public interface Map<K, out V> {
     /**
      * Returns `true` if the map is empty (contains no elements), `false` otherwise.
      */
-    public fun isEmpty(): Boolean
+    public val isEmpty: Boolean
 
     /**
      * Returns `true` if the map contains the specified [key].
@@ -319,12 +319,12 @@ public interface Map<K, out V> {
         /**
          * Returns the key of this key/value pair.
          */
-        public fun getKey(): K
+        public val key: K
 
         /**
          * Returns the value of this key/value pair.
          */
-        public fun getValue(): V
+        public val value: V
     }
 }
 
@@ -375,6 +375,6 @@ public interface MutableMap<K, V> : Map<K, V> {
          *
          * @return the previous value corresponding to the key.
          */
-    	public fun setValue(value: V): V
+         public fun setValue(value: V): V
     }
 }