blob: 0872b6e56852388c8640a2bffa3f6ec6adc206bd [file] [log] [blame]
// DONT_TARGET_EXACT_BACKEND: WASM
// WASM_MUTE_REASON: STDLIB_COLLECTIONS
// WITH_RUNTIME
// KJS_WITH_FULL_RUNTIME
inline class Z(val x: Int)
inline class Z2(val x: Z)
fun z2(x: Int) = Z2(Z(x))
inline class ZMutableCollection(private val ms: MutableCollection<Z>) : MutableCollection<Z> {
override fun add(element: Z): Boolean = ms.add(element)
override fun addAll(elements: Collection<Z>): Boolean = ms.addAll(elements)
override fun clear() { ms.clear() }
override fun iterator(): MutableIterator<Z> = ms.iterator()
override fun remove(element: Z): Boolean = ms.remove(element)
override fun removeAll(elements: Collection<Z>): Boolean = ms.removeAll(elements)
override fun retainAll(elements: Collection<Z>): Boolean = ms.retainAll(elements)
override val size: Int get() = ms.size
override fun contains(element: Z): Boolean = ms.contains(element)
override fun containsAll(elements: Collection<Z>): Boolean = ms.containsAll(elements)
override fun isEmpty(): Boolean = ms.isEmpty()
}
inline class Z2MutableCollection(private val ms: MutableCollection<Z2>) : MutableCollection<Z2> {
override fun add(element: Z2): Boolean = ms.add(element)
override fun addAll(elements: Collection<Z2>): Boolean = ms.addAll(elements)
override fun clear() { ms.clear() }
override fun iterator(): MutableIterator<Z2> = ms.iterator()
override fun remove(element: Z2): Boolean = ms.remove(element)
override fun removeAll(elements: Collection<Z2>): Boolean = ms.removeAll(elements)
override fun retainAll(elements: Collection<Z2>): Boolean = ms.retainAll(elements)
override val size: Int get() = ms.size
override fun contains(element: Z2): Boolean = ms.contains(element)
override fun containsAll(elements: Collection<Z2>): Boolean = ms.containsAll(elements)
override fun isEmpty(): Boolean = ms.isEmpty()
}
fun box(): String {
val zc1 = ZMutableCollection(mutableListOf(Z(1), Z(2), Z(3)))
zc1.remove(Z(1))
if (Z(1) in zc1) throw AssertionError("Z(1) in zc1")
val zc2 = Z2MutableCollection(mutableListOf(z2(1), z2(2), z2(3)))
zc2.remove(z2(1))
if (z2(1) in zc2) throw AssertionError("z2(1) in zc2")
return "OK"
}