Nikolay Lunyak
fab6cec93a
This makes it more consistent and fixes some overlooked corner cases. Also it was decided on the last equality applicability DM (KT-62646) that we'd like `is`/`!is`/`as`/`as?` to work similarly to `===`/`!==`. Also note that it now gives a clearer explaination of why some corner cases work the way they do. For example, `FirPsiDiagnosticTestGenerated.testLambdaInLhsOfTypeOperatorCall` yields `UNCHECKED_CAST` instead of `CAST_NEVER_SUCCEEDS`, because `toTypeInfo()` replaces all type arguments with star projections, even when the argument is not a type parameter. This is because it has been desided to work this way in KT-57779. In `FirPsiOldFrontendDiagnosticsTestGenerated..NeverSucceeds#testNoGenericsRelated` the diagnostic is introduced, because `t2 as FC1` and `FC1` is a final class with no `T5` supertype. `UNCHECKED_CAST` in `FirPsiOldFrontendDiagnosticsTestGenerated.testSmartCast` disappeared, because previously we didn't take smartcasts into account. Note that `FirPsiOldFrontendDiagnosticsTestGenerated.testMappedSubtypes` is a false positive. It appears because `isSubtypeOf()` doesn't take into account platform types in supertypes of the given types (doesn't map them).
23 lines
761 B
Kotlin
Vendored
23 lines
761 B
Kotlin
Vendored
// !DIAGNOSTICS: -UNCHECKED_CAST
|
|
|
|
fun <T> Collection<T>.toArray(): Array<T> = this <!CAST_NEVER_SUCCEEDS!>as<!> Array<T>
|
|
fun Collection<String>.toArray2(): Array<String> = this <!CAST_NEVER_SUCCEEDS!>as<!> Array<String>
|
|
fun <T> toArray3(x: Collection<T>): Array<T> = x <!CAST_NEVER_SUCCEEDS!>as<!> Array<T>
|
|
|
|
class Foo<T> {
|
|
operator fun plus(x: Foo<T>): Array<T> {
|
|
return this + x
|
|
}
|
|
}
|
|
|
|
fun use(arg: Array<String>, s: Collection<String>, x: Foo<String>) {
|
|
arr(<!NON_VARARG_SPREAD!>*<!>arg)
|
|
arr(<!NON_VARARG_SPREAD!>*<!>s.toArray())
|
|
arr(<!NON_VARARG_SPREAD!>*<!>s.toArray2())
|
|
arr(<!NON_VARARG_SPREAD!>*<!>toArray3(s))
|
|
arr(<!NON_VARARG_SPREAD!>*<!>x + x)
|
|
arr(<!NON_VARARG_SPREAD!>*<!>(x + x))
|
|
}
|
|
|
|
fun arr(x: Array<String>) {}
|