Zalim Bashorov
48 lines
963 B
Kotlin
Vendored
48 lines
963 B
Kotlin
Vendored
// TODO: muted automatically, investigate should it be ran for JS or not
|
|
// IGNORE_BACKEND: JS
|
|
|
|
// FILE: J.java
|
|
|
|
import java.util.*;
|
|
|
|
public class J implements Sized {
|
|
final public int getSize() { return 123; }
|
|
}
|
|
|
|
// FILE: test.kt
|
|
|
|
interface Sized {
|
|
val size: Int
|
|
}
|
|
|
|
class A<T> : J(), Collection<T> {
|
|
override fun isEmpty(): Boolean {
|
|
throw UnsupportedOperationException()
|
|
}
|
|
|
|
override fun contains(element: T): Boolean {
|
|
throw UnsupportedOperationException()
|
|
}
|
|
|
|
override fun iterator(): Iterator<T> {
|
|
throw UnsupportedOperationException()
|
|
}
|
|
|
|
override fun containsAll(elements: Collection<T>): Boolean {
|
|
throw UnsupportedOperationException()
|
|
}
|
|
}
|
|
|
|
fun box(): String {
|
|
val a = A<String>()
|
|
if (a.size != 123) return "fail 1"
|
|
|
|
val c: Collection<String> = a
|
|
if (c.size != 123) return "fail 2"
|
|
|
|
val sized: Sized = a
|
|
if (sized.size != 123) return "fail 3"
|
|
|
|
return "OK"
|
|
}
|