| // WITH_STDLIB |
| // TARGET_BACKEND: JVM |
| // WORKS_WHEN_VALUE_CLASS |
| // LANGUAGE: +ValueClasses, +GenericInlineClassParameter |
| |
| OPTIONAL_JVM_INLINE_ANNOTATION |
| value class MyUInt<T: Int>(val x: T) |
| |
| OPTIONAL_JVM_INLINE_ANNOTATION |
| value class MyUIntArray<T: Int>(private val storage: IntArray) : Collection<MyUInt<T>> { |
| public override val size: Int get() = storage.size |
| |
| override operator fun iterator() = TODO() |
| override fun contains(element: MyUInt<T>): Boolean = storage.contains(element.x) |
| override fun containsAll(elements: Collection<MyUInt<T>>): Boolean = elements.all { storage.contains(it.x) } |
| override fun isEmpty(): Boolean = TODO() |
| } |
| |
| fun <T> checkBoxed(c: Collection<T>, element: T): Boolean { |
| return c.contains(element) && c.containsAll(listOf(element)) |
| } |
| |
| fun box(): String { |
| val uints = MyUIntArray<Int>(intArrayOf(0, 1, 42)) |
| |
| if (MyUInt(42) !in uints) return "Fail 1" |
| |
| val ints = listOf(MyUInt(1), MyUInt(0)) |
| if (!uints.containsAll(ints)) return "Fail 2" |
| |
| if (!checkBoxed(uints, MyUInt(0))) return "Fail 3" |
| |
| return "OK" |
| } |
