FIR: regenerate LL API tests

This commit is contained in:
pyos
2022-09-13 14:24:16 +02:00
committed by teamcity
parent be5c4a91a4
commit a0fa2cc275
7 changed files with 27 additions and 77 deletions
@@ -16973,12 +16973,36 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
runTest("compiler/testData/diagnostics/tests/inference/substitutions/delegationAndInference.kt");
}
@Test
@TestMetadata("hideFlexibleLocalTypeInPublicPosition.kt")
public void testHideFlexibleLocalTypeInPublicPosition() throws Exception {
runTest("compiler/testData/diagnostics/tests/inference/substitutions/hideFlexibleLocalTypeInPublicPosition.kt");
}
@Test
@TestMetadata("hideFlexibleLocalTypeInPublicPosition_before.kt")
public void testHideFlexibleLocalTypeInPublicPosition_before() throws Exception {
runTest("compiler/testData/diagnostics/tests/inference/substitutions/hideFlexibleLocalTypeInPublicPosition_before.kt");
}
@Test
@TestMetadata("hideLocalTypeForReturnTypeOfSingleExpressionFunction.kt")
public void testHideLocalTypeForReturnTypeOfSingleExpressionFunction() throws Exception {
runTest("compiler/testData/diagnostics/tests/inference/substitutions/hideLocalTypeForReturnTypeOfSingleExpressionFunction.kt");
}
@Test
@TestMetadata("hideNullableLocalTypeInPublicPosition.kt")
public void testHideNullableLocalTypeInPublicPosition() throws Exception {
runTest("compiler/testData/diagnostics/tests/inference/substitutions/hideNullableLocalTypeInPublicPosition.kt");
}
@Test
@TestMetadata("hideNullableLocalTypeInPublicPosition_before.kt")
public void testHideNullableLocalTypeInPublicPosition_before() throws Exception {
runTest("compiler/testData/diagnostics/tests/inference/substitutions/hideNullableLocalTypeInPublicPosition_before.kt");
}
@Test
@TestMetadata("kt32189returnTypeWithTypealiasSubtitution.kt")
public void testKt32189returnTypeWithTypealiasSubtitution() throws Exception {
@@ -1,22 +0,0 @@
// !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,3 +1,4 @@
// FIR_IDENTICAL
// !LANGUAGE: +ProperCheckAnnotationsTargetInTypeUsePositions
// ISSUE: KT-28449
@@ -1,26 +0,0 @@
// TESTCASE NUMBER: 1, 2, 3, 4, 5
@Retention(AnnotationRetention.RUNTIME)
@Target(AnnotationTarget.PROPERTY_GETTER)
annotation class Ann(val x: Int)
// TESTCASE NUMBER: 1
abstract class Foo : <!WRONG_ANNOTATION_TARGET!>@Ann(10)<!> Any()
// TESTCASE NUMBER: 2
abstract class Bar<T : <!WRONG_ANNOTATION_TARGET!>@Ann(10)<!> Any>
// TESTCASE NUMBER: 3
fun case_3(a: Any) {
if (a is <!WRONG_ANNOTATION_TARGET!>@Ann(10)<!> String) return
}
// TESTCASE NUMBER: 4
open class TypeToken<T>
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) {
a as <!WRONG_ANNOTATION_TARGET!>@Ann(10)<!> Int
}
@@ -1,4 +1,4 @@
// FIR_IDENTICAL
/*
* KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
*
@@ -1,28 +0,0 @@
/*
* 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,3 +1,4 @@
// FIR_IDENTICAL
/*
* KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (NEGATIVE)
*