Mikhail Glukhikh
0804c6a0f3
This commit introduces several different things, in particular: - check type arguments in expressions - new TypeArgumentList node to deal with diagnostic source - ConeDiagnostic was moved to fir:cones - ConeIntermediateDiagnostic to use in inference (?) without reporting - detailed diagnostics on error type
20 lines
624 B
Kotlin
Vendored
20 lines
624 B
Kotlin
Vendored
// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_PARAMETER -TOPLEVEL_TYPEALIASES_ONLY
|
|
// !CHECK_TYPE
|
|
open class Outer<X, Y> {
|
|
inner class Inner<Z>
|
|
typealias Alias<W> = Map<W, X>
|
|
}
|
|
|
|
open class BaseDerived1<E, F> : Outer<F, E>()
|
|
open class BaseDerived2<X> : BaseDerived1<String, X>()
|
|
|
|
class Derived : BaseDerived2<Int>() {
|
|
fun foo(): Inner<Char> = null!!
|
|
fun baz(): <!OTHER_ERROR, OTHER_ERROR!>Alias<Char><!> = null!!
|
|
}
|
|
|
|
fun foo() {
|
|
Derived().foo() checkType { _<Outer<Int, String>.Inner<Char>>() }
|
|
Derived().baz() <!INAPPLICABLE_CANDIDATE!>checkType<!> { <!INAPPLICABLE_CANDIDATE!>_<!><Map<Char, Int>>() }
|
|
}
|