Merge remote-tracking branch 'origin/master'

Conflicts: compiler/frontend/src/org/jetbrains/jet/lang/resolve/DescriptorResolver.java
2011-12-08 19:22:12 +04:00
parent faf6b87d87 9d6222c75a
commit b0ba456bd0
6 changed files with 88 additions and 52 deletions
@@ -0,0 +1,6 @@
+//KT-743 Wrong type inference
+// +JDK
+class List<T>(val head: T, val tail: List<T>? = null)
+
+fun <T, Q> List<T>.map(f: fun(T): Q): List<T>? = tail.sure<List<T>>().map(f)
+fun foo<T>(t : T) : T = foo(t)