Add raw type comparison for Java (J2K mapping is taken into account)

NB: Java enhancement scope does not perform substitution, so we could
have some duplicates inside "type enhancement" testData

Related to KT-29937
This commit is contained in:
Mikhail Glukhikh
2019-03-12 11:09:42 +03:00
parent f5e2cd2ac4
commit 43d06f85e3
5 changed files with 47 additions and 5 deletions
@@ -1,4 +1,6 @@
<K, V> public abstract interface SubclassOfMapEntry : R|java/util/Map.Entry<K, V>| {
public abstract operator function setValue(value: R|ft<V, V?>|!): R|ft<V, V?>|!
public abstract operator function setValue(<anonymous Java parameter>: R|ft<V, V?>|!): R|ft<V, V?>|!
}