[FIR] Update tests due to KT-53873

This commit is contained in:
Dmitriy Novozhilov
2022-08-26 14:54:31 +03:00
committed by teamcity
parent 40b13898bd
commit e048ffcf6d
5 changed files with 51 additions and 3 deletions
@@ -0,0 +1,22 @@
// !LANGUAGE: +ProperCheckAnnotationsTargetInTypeUsePositions
// ISSUE: KT-28449
@Target(AnnotationTarget.PROPERTY_GETTER)
annotation class Ann
abstract class Foo : <!WRONG_ANNOTATION_TARGET!>@Ann<!> Any()
abstract class Bar<T : <!WRONG_ANNOTATION_TARGET!>@Ann<!> Any>
fun test_1(a: Any) {
if (a is <!WRONG_ANNOTATION_TARGET!>@Ann<!> String) return
}
open class TypeToken<T>
val test_2 = object : TypeToken<<!WRONG_ANNOTATION_TARGET, WRONG_ANNOTATION_TARGET, WRONG_ANNOTATION_TARGET!>@Ann<!> String>() {}
fun test_3(a: Any) {
a as <!WRONG_ANNOTATION_TARGET!>@Ann<!> Int
}
fun <T> test_4() where T : <!WRONG_ANNOTATION_TARGET!>@Ann<!> Any, T : <!WRONG_ANNOTATION_TARGET!>@Ann<!> CharSequence {}
@@ -1,4 +1,3 @@
// FIR_IDENTICAL
// !LANGUAGE: +ProperCheckAnnotationsTargetInTypeUsePositions
// ISSUE: KT-28449
@@ -18,7 +18,7 @@ fun case_3(a: Any) {
// TESTCASE NUMBER: 4
open class TypeToken<T>
val case_4 = object : TypeToken<<!WRONG_ANNOTATION_TARGET!>@Ann(10)<!> String>() {}
val case_4 = object : TypeToken<<!WRONG_ANNOTATION_TARGET, WRONG_ANNOTATION_TARGET, WRONG_ANNOTATION_TARGET!>@Ann(10)<!> String>() {}
// TESTCASE NUMBER: 5
fun case_5(a: Any) {
@@ -0,0 +1,28 @@
/*
* KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
*
* SECTIONS: annotations, type-annotations
* NUMBER: 7
* DESCRIPTION: Type annotations on a type in an anonymous object expression, with unresolved reference in parameters.
* ISSUES: KT-28424
*/
// TESTCASE NUMBER: 1, 2
@Target(AnnotationTarget.TYPE)
annotation class Ann
/*
* TESTCASE NUMBER: 1
* UNEXPECTED BEHAVIOUR
*/
open class TypeToken<T>
val case_1 = object : TypeToken<@Ann(<!TOO_MANY_ARGUMENTS, TOO_MANY_ARGUMENTS, TOO_MANY_ARGUMENTS, UNRESOLVED_REFERENCE, UNRESOLVED_REFERENCE, UNRESOLVED_REFERENCE!>unresolved_reference<!>) String>() {}
/*
* TESTCASE NUMBER: 2
* UNEXPECTED BEHAVIOUR
*/
interface A
val case_2 = object: @Ann(<!TOO_MANY_ARGUMENTS, TOO_MANY_ARGUMENTS, TOO_MANY_ARGUMENTS, UNRESOLVED_REFERENCE, UNRESOLVED_REFERENCE, UNRESOLVED_REFERENCE!>unresolved_reference<!>) A {}
@@ -1,4 +1,3 @@
// FIR_IDENTICAL
/*
* KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
*