Roman Efremov 423f4ca5f0 [FE, IR] Check compatibility of annotations set on type usages in expect and actual declarations ...

This includes checking of annotatins set on:

- value parameter types
- type parameter bound types
- extension functions receiver types
- function return types
- class super types

Fix in `defaultParams_inheritanceByDelegation_positive.kt`
is needed because of problem in resolution of implicit return types
(KT-62064), which leads to crash in annotation checker, because it
expects resolved return type.

MR: KT-MR-12245

^KT-60671 Fixed

2023-10-16 10:48:08 +00:00

..

actualClassifierMustHasTheSameMembersAsNonFinalExpectClassifierChecker

ActualClassifierMustHasTheSameMembersAsNonFinalExpectClassifierChecker: error -> warning

2023-10-05 10:36:38 +00:00

annotationMatching

[FE, IR] Check compatibility of annotations set on type usages in expect and actual declarations

2023-10-16 10:48:08 +00:00

complexMatchings

[KMP] Allow matching expect ctorless final classes to objects

2023-08-08 23:18:35 +00:00

defaultArguments

[K2] Fix mistake in language feature name for

2023-10-13 12:30:41 +00:00

deprecated

…

enum

[K2] Support reporting of SUPERTYPE_INITIALIZED_IN_EXPECTED_CLASS

2023-10-12 13:01:40 +00:00

exhaustiveness

[FIR] Properly report SEALED_INHERITOR_IN_DIFFERENT_MODULE

2023-08-31 12:32:25 +00:00

generic

…

headerClass

[K2] Support reporting of SUPERTYPE_INITIALIZED_IN_EXPECTED_CLASS

2023-10-12 13:01:40 +00:00

hmpp

ActualClassifierMustHasTheSameMembersAsNonFinalExpectClassifierChecker: error -> warning

2023-10-05 10:36:38 +00:00

inlineClasses

[FIR] Only mark declaration name with ACTUAL_WITHOUT_EXPECT

2023-06-22 14:59:19 +00:00

java

[FE, IR] Check compatibility of annotations set on type usages in expect and actual declarations

2023-10-16 10:48:08 +00:00

smartCasts

[K2] Prohibit smart casts for 'expect' properties

2023-10-11 17:05:29 +00:00

topLevelFun

[K2, MPP] Fix NO_ACTUAL_FOR_EXPECT reporting for all modules including the platform ones

2023-07-13 16:01:26 +00:00

topLevelProperty

[K2, MPP] Fix NO_ACTUAL_FOR_EXPECT reporting for all modules including the platform ones

2023-07-13 16:01:26 +00:00

typealias

KMP: Put "prohbit actual typealias to Nothing and Nullable" under the flag

2023-09-08 10:51:42 +00:00

actualFakeOverride_defaultParamsIncompatibility.kt

[FE] Convert specific diagnostic for actual function with default arguments into a common incompatibility

2023-08-10 15:46:46 +00:00

actualFakeOverride_paramsAreCompatibleViaSharedMethodWithDefaultParams.kt

[FE] Convert specific diagnostic for actual function with default arguments into a common incompatibility

2023-08-10 15:46:46 +00:00

actualFakeOverride_paramsAreCompatibleViaTransitiveSharedMethodWithDefaultParams.kt

[FE] Convert specific diagnostic for actual function with default arguments into a common incompatibility

2023-08-10 15:46:46 +00:00

actualFakeOverride_substitutionFakeOverride.kt

[FE] Convert specific diagnostic for actual function with default arguments into a common incompatibility

2023-08-10 15:46:46 +00:00

actualFakeOverride_transitiveFakeOverrides_compatible.kt

[FE] Convert specific diagnostic for actual function with default arguments into a common incompatibility

2023-08-10 15:46:46 +00:00

actualFakeOverride_transitiveFakeOverrides_incompatible.kt

[FE] Convert specific diagnostic for actual function with default arguments into a common incompatibility

2023-08-10 15:46:46 +00:00

actualFakeOverride.kt

[FE] Cover "implicit actualization"/"actual fake-overrides" KT-58544 with regression tests

2023-08-10 15:46:45 +00:00

actualFakeOverrideVirtual.kt

[FE] Cover "implicit actualization"/"actual fake-overrides" KT-58544 with regression tests

2023-08-10 15:46:45 +00:00

actualTypealias_defaultParamsIncompatibility.kt

[FE] Convert specific diagnostic for actual function with default arguments into a common incompatibility

2023-08-10 15:46:46 +00:00

actualTypealiasToSpecialAnnotation_oldLanguageVersion.kt

KMP: Put "prohibit actual typealias to special annotations" under the flag

2023-09-08 10:51:43 +00:00

actualTypealiasToSpecialAnnotation.fir.kt

[Tests] Update test data with error suppression warnings

2023-08-18 13:29:20 +00:00

actualTypealiasToSpecialAnnotation.kt

[Tests] Update test data with error suppression warnings

2023-08-18 13:29:20 +00:00

arraySort.kt

[FE] Convert specific diagnostic for actual function with default arguments into a common incompatibility

2023-08-10 15:46:46 +00:00

arraySortFixed.kt

[FE] Convert specific diagnostic for actual function with default arguments into a common incompatibility

2023-08-10 15:46:46 +00:00

callConflictsOnExpectAndActualWeaklyCompatible.fir.kt

[FIR] fix resolution ambiguities between weakly compatible expect and actual

2023-09-06 16:30:28 +00:00

callConflictsOnExpectAndActualWeaklyCompatible.kt

[FIR] fix resolution ambiguities between weakly compatible expect and actual

2023-09-06 16:30:28 +00:00

checkNoActualForExpectInLastModule.fir.kt

[K2, MPP] Fix NO_ACTUAL_FOR_EXPECT reporting for all modules including the platform ones

2023-07-13 16:01:26 +00:00

checkNoActualForExpectInLastModule.kt

[K2, MPP] Fix NO_ACTUAL_FOR_EXPECT reporting for all modules including the platform ones

2023-07-13 16:01:26 +00:00

defaultParams_inheritanceByDelegation_negative.kt

[FE] Skip delegation descriptors during default params matching

2023-08-15 16:34:23 +00:00

defaultParams_inheritanceByDelegation_positive.kt

[FE, IR] Check compatibility of annotations set on type usages in expect and actual declarations

2023-10-16 10:48:08 +00:00

expectAbstractToString.fir.kt

[FE] Stop ignoring ABSTRACT_MEMBER_NOT_IMPLEMENTED for expect classes

2023-07-24 09:15:11 +00:00

expectAbstractToString.kt

[FE] Stop ignoring ABSTRACT_MEMBER_NOT_IMPLEMENTED for expect classes

2023-07-24 09:15:11 +00:00

expectActualClassesAreInBetaWarning.fir.kt

expect/actual classes: experimental -> Beta

2023-09-11 13:57:28 +00:00

expectActualClassesAreInBetaWarning.kt

expect/actual classes: experimental -> Beta

2023-09-11 13:57:28 +00:00

expectDataObject.fir.kt

…

expectDataObject.kt

…

expectDataObject.txt

…

expectExternal_oldLanguageVersion.kt

KMP: Put "prohibit expect/actual tailrec/external" under the flag

2023-09-08 10:51:43 +00:00

expectExternal.fir.kt

…

expectExternal.kt

…

expectInterfaceApplicability.fir.kt

[FIR] Only mark declaration name with ACTUAL_WITHOUT_EXPECT

2023-06-22 14:59:19 +00:00

expectInterfaceApplicability.kt

…

expectInterfaceApplicability.txt

…

expectObjectWithAbstractMember.fir.kt

[FE] Stop ignoring ABSTRACT_MEMBER_NOT_IMPLEMENTED for expect classes

2023-07-24 09:15:11 +00:00

expectObjectWithAbstractMember.kt

Partially revert "[FE] Stop ignoring ABSTRACT_MEMBER_NOT_IMPLEMENTED for expect classes"

2023-08-30 14:35:59 +00:00

expectObjectWithAbstractMember.txt

…

expectOptInAnnotation_oldLanguageVersion.kt

KMP: Put "prohibit expect actual OptIn annotations" under the flag

2023-09-08 10:51:43 +00:00

expectOptInAnnotation.fir.kt

[FE] Implement FE logic of expect actual annotations matching

2023-07-24 09:48:48 +00:00

expectOptInAnnotation.kt

[FE] Implement FE logic of expect actual annotations matching

2023-07-24 09:48:48 +00:00

expectTailrec_oldLanguageVersion.fir.kt

KMP: Put "prohibit expect/actual tailrec/external" under the flag

2023-09-08 10:51:43 +00:00

expectTailrec_oldLanguageVersion.kt

KMP: Put "prohibit expect/actual tailrec/external" under the flag

2023-09-08 10:51:43 +00:00

expectTailrec.fir.kt

…

expectTailrec.kt

…

headerFunInNonHeaderClass.fir.kt

…

headerFunInNonHeaderClass.kt

…

headerFunInNonHeaderClass.txt

…

implDelegatedMember.fir.kt

K1: Implement a checker that disallows to have different member scopes for expect open and its actual

2023-08-21 19:51:08 +00:00

implDelegatedMember.kt

ActualClassifierMustHasTheSameMembersAsNonFinalExpectClassifierChecker: error -> warning

2023-10-05 10:36:38 +00:00

implDelegatedMember.txt

…

implDynamic.fir.kt

[K2, MPP] Forbid matching actual callable with dynamic return type

2023-08-28 09:29:05 +00:00

implDynamic.kt

[K2, MPP] Forbid matching actual callable with dynamic return type

2023-08-28 09:29:05 +00:00

implDynamic.txt

…

implFakeOverride.kt

…

implFakeOverride.txt

…

implicitActualFakeOverride_AbstractMap.fir.kt

K1: Implement a checker that disallows to have different member scopes for expect open and its actual

2023-08-21 19:51:08 +00:00

implicitActualFakeOverride_AbstractMap.kt

K1: Implement a checker that disallows to have different member scopes for expect open and its actual

2023-08-21 19:51:08 +00:00

implicitActualFakeOverride_simple.kt

[FE] Cover "implicit actualization"/"actual fake-overrides" KT-58544 with regression tests

2023-08-10 15:46:45 +00:00

incDecOperatorsInExpectClass.kt

…

incDecOperatorsInExpectClass.txt

…

incompatibles.fir.kt

[K2, MPP] Fix NO_ACTUAL_FOR_EXPECT reporting for all modules including the platform ones

2023-07-13 16:01:26 +00:00

incompatibles.kt

…

incompatibles.txt

…

kt54827.fir.kt

[FIR] Only mark declaration name with ACTUAL_WITHOUT_EXPECT

2023-06-22 14:59:19 +00:00

kt54827.kt

[FE] Type-safety refactoring: Make areCompatibleClassScopes to return Incompatible.WeakIncompatible

2023-08-10 15:46:48 +00:00

kt54827.txt

…

kt58153.kt

…

kt60902.kt

[FE] Fix TypeParameterUpperBounds incompatibility priority

2023-08-10 15:46:47 +00:00

manyImplMemberNotImplemented.fir.kt

[IR Actualizer] Fix fake-override generation in actual A -> common B -> actual C hierarchy

2023-08-31 07:52:02 +00:00

manyImplMemberNotImplemented.kt

ActualClassifierMustHasTheSameMembersAsNonFinalExpectClassifierChecker: error -> warning

2023-10-05 10:36:38 +00:00

manyInterfacesMemberNotImplemented.fir.kt

[IR Actualizer] Fix fake-override generation in actual A -> common B -> actual C hierarchy

2023-08-31 07:52:02 +00:00

manyInterfacesMemberNotImplemented.kt

ActualClassifierMustHasTheSameMembersAsNonFinalExpectClassifierChecker: error -> warning

2023-10-05 10:36:38 +00:00

modifierApplicability.fir.kt

[FIR] Only mark declaration name with ACTUAL_WITHOUT_EXPECT

2023-06-22 14:59:19 +00:00

modifierApplicability.kt

…

modifierApplicability.txt

…

multipleExpectInterfacesImplementation.kt

…

namedArguments.kt

…

namedArguments.txt

…

optionalExpectationDiagnostics.fir.kt

[FIR] Introduce OPTIONAL_EXPECTATION_NOT_ON_EXPECTED diagnostic

2023-08-10 17:46:08 +00:00

optionalExpectationDiagnostics.kt

[FIR] Introduce OPTIONAL_DECLARATION_USAGE_IN_NON_COMMON_SOURCE diagnostic

2023-08-10 17:46:08 +00:00

privateTopLevelDeclarations.fir.kt

[FIR] Check classes for EXPECTED_PRIVATE_DECLARATION

2023-07-10 09:28:54 +00:00

privateTopLevelDeclarations.kt

…

privateTopLevelDeclarations.txt

…

sealedClassWithPrivateConstructor.kt

…

sealedTypeAlias.kt

…

sealedTypeAlias.txt

…

sealedTypeAliasTopLevel.kt

…

sealedTypeAliasTopLevel.txt

…

smartcastOnMemberPropertyFromCommonClass.fir.kt

…

smartcastOnMemberPropertyFromCommonClass.kt

…

smartcastOnMemberPropertyFromCommonClass.txt

…

superCallDefaultArguments.kt

[FIR] Consider expect default function parameters in FirSuperCallWithDefaultsChecker

2023-10-06 12:29:01 +00:00

supertypeActualizationWithAny.kt

[FIR] Check for subtyping during actualization of supertypes of expect class

2023-06-22 07:05:31 +00:00

varSetterVisibility.fir.kt

[FIR] Only mark declaration name with ACTUAL_WITHOUT_EXPECT

2023-06-22 14:59:19 +00:00

varSetterVisibility.kt

…

widerVisibilityInActualClassifier.fir.kt

[FIR] Allow actualization of expect classes by classes with wider visibility

2023-06-19 11:09:32 +00:00

widerVisibilityInActualClassifier.kt

[FIR] Allow actualization of expect classes by classes with wider visibility

2023-06-19 11:09:32 +00:00