Push Down: Initial Support

This commit is contained in:
Alexey Sedunov
2015-07-28 21:28:39 +03:00
parent 5168ccc159
commit a66ef47887
42 changed files with 1638 additions and 356 deletions
@@ -0,0 +1,29 @@
interface Z<T>
open class <caret>A<T> {
// INFO: {"checked": "true"}
val t1: T
// INFO: {"checked": "true"}
val t2: Z<T>
// INFO: {"checked": "true"}
fun foo<S>(t1: T, t2: Z<T>, s1: S, s2: Z<S>): Boolean = true
// INFO: {"checked": "true"}
inner class X : Z<T> {
}
// INFO: {"checked": "true"}
class Y<U> : Z<U> {
}
}
class B<S> : A<Z<S>>() {
}
class C<K> : A<B<K>>() {
}