Mikhail Zarechenskiy
8910859fd1
Mostly, these optimisations are picked from the old inference. Also, remove exponential complexity for flexible types in approximation, note that more correct fix for this would be to introduce new types that corresponds just to platform types to avoid nullability problems, but due to complexity it will be done later #KT-31415 Fixed
44 lines
1.2 KiB
Kotlin
Vendored
44 lines
1.2 KiB
Kotlin
Vendored
// !WITH_NEW_INFERENCE
|
|
// FILE: a.kt
|
|
package boundsWithSubstitutors
|
|
open class A<T>
|
|
class B<X : A<X>>()
|
|
|
|
class C : A<C>()
|
|
|
|
val a = B<C>()
|
|
val a1 = B<<!NI;UPPER_BOUND_VIOLATED, UPPER_BOUND_VIOLATED!>Int<!>>()
|
|
|
|
class X<A, B : A>()
|
|
|
|
val b = X<Any, X<A<C>, C>>()
|
|
val b0 = X<Any, <!NI;UPPER_BOUND_VIOLATED, UPPER_BOUND_VIOLATED!>Any?<!>>()
|
|
val b1 = X<Any, X<A<C>, <!UPPER_BOUND_VIOLATED!>String<!>>>()
|
|
|
|
// FILE: b.kt
|
|
open class A {}
|
|
open class B<T : A>()
|
|
|
|
class Pair<A, B>
|
|
|
|
abstract class C<T : B<<!UPPER_BOUND_VIOLATED!>Int<!>>, X : (B<<!UPPER_BOUND_VIOLATED!>Char<!>>) -> Pair<B<<!UPPER_BOUND_VIOLATED!>Any<!>>, B<A>>>() : B<<!UPPER_BOUND_VIOLATED!>Any<!>>() { // 2 errors
|
|
val a = B<<!UPPER_BOUND_VIOLATED!>Char<!>>() // error
|
|
|
|
abstract val x : (B<<!UPPER_BOUND_VIOLATED!>Char<!>>) -> B<<!UPPER_BOUND_VIOLATED!>Any<!>>
|
|
}
|
|
|
|
|
|
fun test() {
|
|
foo<<!UPPER_BOUND_VIOLATED!>Int?<!>>()
|
|
foo<Int>()
|
|
bar<Int?>()
|
|
bar<Int>()
|
|
bar<<!UPPER_BOUND_VIOLATED!>Double?<!>>()
|
|
bar<<!UPPER_BOUND_VIOLATED!>Double<!>>()
|
|
1.buzz<<!UPPER_BOUND_VIOLATED!>Double<!>>()
|
|
}
|
|
|
|
fun <T : Any> foo() {}
|
|
fun <T : Int?> bar() {}
|
|
fun <T : <!FINAL_UPPER_BOUND!>Int<!>> Int.buzz() : Unit {}
|