Tests for abstract functions with default arguments

2014-01-23 17:43:35 +04:00
parent 4ab0b00bd3
commit ab7d8a7734
6 changed files with 61 additions and 0 deletions
@@ -0,0 +1,8 @@
+class JavaClass {
+    public static void main(String[] args) {
+        try {
+            new Derived().one(null);
+        }
+        catch (E1 e) {}
+    }
+}
@@ -0,0 +1,8 @@
+class E1: Exception()
+
+trait Base<T> {
+    throws(javaClass<E1>())
+    fun one(t: T) {}
+}
+
+class Derived: Base<String>