KT-2541 VerifyError on substituting type after inheritance from trait

#KT-2541 Fixed
2012-07-27 19:21:27 +04:00
parent f37fae6e29
commit fe1e6fc0d3
3 changed files with 13 additions and 0 deletions
@@ -0,0 +1,7 @@
+trait A<T, U> {
+    fun foo(t: T, u: U) = "OK"
+}
+
+class B<T> : A<T, Int>
+
+fun box(): String = B<Int>().foo(1, 2)