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).
35 lines
643 B
Kotlin
Vendored
35 lines
643 B
Kotlin
Vendored
// !DIAGNOSTICS: -UNCHECKED_CAST
|
|
interface Trait1
|
|
interface Trait2
|
|
open class OClass1
|
|
open class OClass2
|
|
class FClass1
|
|
class FClass2
|
|
|
|
fun <TP1: OClass1, TP2: OClass2> test(
|
|
t1: Trait1,
|
|
oc1: OClass1,
|
|
fc1: FClass1,
|
|
tp1: TP1
|
|
) {
|
|
t1 as Trait2
|
|
t1 as OClass2
|
|
t1 <!CAST_NEVER_SUCCEEDS!>as<!> FClass2
|
|
t1 as TP2
|
|
|
|
oc1 as Trait2
|
|
oc1 <!CAST_NEVER_SUCCEEDS!>as<!> OClass2
|
|
oc1 <!CAST_NEVER_SUCCEEDS!>as<!> FClass2
|
|
oc1 as TP2
|
|
|
|
fc1 <!CAST_NEVER_SUCCEEDS!>as<!> Trait2
|
|
fc1 <!CAST_NEVER_SUCCEEDS!>as<!> OClass2
|
|
fc1 <!CAST_NEVER_SUCCEEDS!>as<!> FClass2
|
|
fc1 as TP2
|
|
|
|
tp1 as Trait2
|
|
tp1 as OClass2
|
|
tp1 as FClass2
|
|
tp1 as TP2
|
|
}
|