diff --git a/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/diagnostics/KtFirDataClassConverters.kt b/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/diagnostics/KtFirDataClassConverters.kt index 568e6ec2714..4f3e5a06bcf 100644 --- a/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/diagnostics/KtFirDataClassConverters.kt +++ b/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/diagnostics/KtFirDataClassConverters.kt @@ -1237,19 +1237,19 @@ internal val KT_DIAGNOSTIC_CONVERTER = KtDiagnosticConverterBuilder.buildConvert ) } add(FirErrors.VALUE_CLASS_NOT_TOP_LEVEL) { firDiagnostic -> - InlineClassNotTopLevelImpl( + ValueClassNotTopLevelImpl( firDiagnostic as KtPsiDiagnostic, token, ) } add(FirErrors.VALUE_CLASS_NOT_FINAL) { firDiagnostic -> - InlineClassNotFinalImpl( + ValueClassNotFinalImpl( firDiagnostic as KtPsiDiagnostic, token, ) } add(FirErrors.ABSENCE_OF_PRIMARY_CONSTRUCTOR_FOR_VALUE_CLASS) { firDiagnostic -> - AbsenceOfPrimaryConstructorForInlineClassImpl( + AbsenceOfPrimaryConstructorForValueClassImpl( firDiagnostic as KtPsiDiagnostic, token, ) @@ -1261,63 +1261,63 @@ internal val KT_DIAGNOSTIC_CONVERTER = KtDiagnosticConverterBuilder.buildConvert ) } add(FirErrors.VALUE_CLASS_CONSTRUCTOR_NOT_FINAL_READ_ONLY_PARAMETER) { firDiagnostic -> - InlineClassConstructorNotFinalReadOnlyParameterImpl( + ValueClassConstructorNotFinalReadOnlyParameterImpl( firDiagnostic as KtPsiDiagnostic, token, ) } add(FirErrors.PROPERTY_WITH_BACKING_FIELD_INSIDE_VALUE_CLASS) { firDiagnostic -> - PropertyWithBackingFieldInsideInlineClassImpl( + PropertyWithBackingFieldInsideValueClassImpl( firDiagnostic as KtPsiDiagnostic, token, ) } add(FirErrors.DELEGATED_PROPERTY_INSIDE_VALUE_CLASS) { firDiagnostic -> - DelegatedPropertyInsideInlineClassImpl( + DelegatedPropertyInsideValueClassImpl( firDiagnostic as KtPsiDiagnostic, token, ) } add(FirErrors.VALUE_CLASS_HAS_INAPPLICABLE_PARAMETER_TYPE) { firDiagnostic -> - InlineClassHasInapplicableParameterTypeImpl( + ValueClassHasInapplicableParameterTypeImpl( firSymbolBuilder.typeBuilder.buildKtType(firDiagnostic.a), firDiagnostic as KtPsiDiagnostic, token, ) } add(FirErrors.VALUE_CLASS_CANNOT_IMPLEMENT_INTERFACE_BY_DELEGATION) { firDiagnostic -> - InlineClassCannotImplementInterfaceByDelegationImpl( + ValueClassCannotImplementInterfaceByDelegationImpl( firDiagnostic as KtPsiDiagnostic, token, ) } add(FirErrors.VALUE_CLASS_CANNOT_EXTEND_CLASSES) { firDiagnostic -> - InlineClassCannotExtendClassesImpl( + ValueClassCannotExtendClassesImpl( firDiagnostic as KtPsiDiagnostic, token, ) } add(FirErrors.VALUE_CLASS_CANNOT_BE_RECURSIVE) { firDiagnostic -> - InlineClassCannotBeRecursiveImpl( + ValueClassCannotBeRecursiveImpl( firDiagnostic as KtPsiDiagnostic, token, ) } add(FirErrors.RESERVED_MEMBER_INSIDE_VALUE_CLASS) { firDiagnostic -> - ReservedMemberInsideInlineClassImpl( + ReservedMemberInsideValueClassImpl( firDiagnostic.a, firDiagnostic as KtPsiDiagnostic, token, ) } add(FirErrors.SECONDARY_CONSTRUCTOR_WITH_BODY_INSIDE_VALUE_CLASS) { firDiagnostic -> - SecondaryConstructorWithBodyInsideInlineClassImpl( + SecondaryConstructorWithBodyInsideValueClassImpl( firDiagnostic as KtPsiDiagnostic, token, ) } add(FirErrors.INNER_CLASS_INSIDE_VALUE_CLASS) { firDiagnostic -> - InnerClassInsideInlineClassImpl( + InnerClassInsideValueClassImpl( firDiagnostic as KtPsiDiagnostic, token, ) diff --git a/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/diagnostics/KtFirDiagnostics.kt b/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/diagnostics/KtFirDiagnostics.kt index 454e0402ecf..25c7f6e93f6 100644 --- a/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/diagnostics/KtFirDiagnostics.kt +++ b/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/diagnostics/KtFirDiagnostics.kt @@ -895,62 +895,62 @@ sealed class KtFirDiagnostic : KtDiagnosticWithPsi { override val diagnosticClass get() = NoExplicitReturnTypeInApiModeWarning::class } - abstract class InlineClassNotTopLevel : KtFirDiagnostic() { - override val diagnosticClass get() = InlineClassNotTopLevel::class + abstract class ValueClassNotTopLevel : KtFirDiagnostic() { + override val diagnosticClass get() = ValueClassNotTopLevel::class } - abstract class InlineClassNotFinal : KtFirDiagnostic() { - override val diagnosticClass get() = InlineClassNotFinal::class + abstract class ValueClassNotFinal : KtFirDiagnostic() { + override val diagnosticClass get() = ValueClassNotFinal::class } - abstract class AbsenceOfPrimaryConstructorForInlineClass : KtFirDiagnostic() { - override val diagnosticClass get() = AbsenceOfPrimaryConstructorForInlineClass::class + abstract class AbsenceOfPrimaryConstructorForValueClass : KtFirDiagnostic() { + override val diagnosticClass get() = AbsenceOfPrimaryConstructorForValueClass::class } abstract class InlineClassConstructorWrongParametersSize : KtFirDiagnostic() { override val diagnosticClass get() = InlineClassConstructorWrongParametersSize::class } - abstract class InlineClassConstructorNotFinalReadOnlyParameter : KtFirDiagnostic() { - override val diagnosticClass get() = InlineClassConstructorNotFinalReadOnlyParameter::class + abstract class ValueClassConstructorNotFinalReadOnlyParameter : KtFirDiagnostic() { + override val diagnosticClass get() = ValueClassConstructorNotFinalReadOnlyParameter::class } - abstract class PropertyWithBackingFieldInsideInlineClass : KtFirDiagnostic() { - override val diagnosticClass get() = PropertyWithBackingFieldInsideInlineClass::class + abstract class PropertyWithBackingFieldInsideValueClass : KtFirDiagnostic() { + override val diagnosticClass get() = PropertyWithBackingFieldInsideValueClass::class } - abstract class DelegatedPropertyInsideInlineClass : KtFirDiagnostic() { - override val diagnosticClass get() = DelegatedPropertyInsideInlineClass::class + abstract class DelegatedPropertyInsideValueClass : KtFirDiagnostic() { + override val diagnosticClass get() = DelegatedPropertyInsideValueClass::class } - abstract class InlineClassHasInapplicableParameterType : KtFirDiagnostic() { - override val diagnosticClass get() = InlineClassHasInapplicableParameterType::class + abstract class ValueClassHasInapplicableParameterType : KtFirDiagnostic() { + override val diagnosticClass get() = ValueClassHasInapplicableParameterType::class abstract val type: KtType } - abstract class InlineClassCannotImplementInterfaceByDelegation : KtFirDiagnostic() { - override val diagnosticClass get() = InlineClassCannotImplementInterfaceByDelegation::class + abstract class ValueClassCannotImplementInterfaceByDelegation : KtFirDiagnostic() { + override val diagnosticClass get() = ValueClassCannotImplementInterfaceByDelegation::class } - abstract class InlineClassCannotExtendClasses : KtFirDiagnostic() { - override val diagnosticClass get() = InlineClassCannotExtendClasses::class + abstract class ValueClassCannotExtendClasses : KtFirDiagnostic() { + override val diagnosticClass get() = ValueClassCannotExtendClasses::class } - abstract class InlineClassCannotBeRecursive : KtFirDiagnostic() { - override val diagnosticClass get() = InlineClassCannotBeRecursive::class + abstract class ValueClassCannotBeRecursive : KtFirDiagnostic() { + override val diagnosticClass get() = ValueClassCannotBeRecursive::class } - abstract class ReservedMemberInsideInlineClass : KtFirDiagnostic() { - override val diagnosticClass get() = ReservedMemberInsideInlineClass::class + abstract class ReservedMemberInsideValueClass : KtFirDiagnostic() { + override val diagnosticClass get() = ReservedMemberInsideValueClass::class abstract val name: String } - abstract class SecondaryConstructorWithBodyInsideInlineClass : KtFirDiagnostic() { - override val diagnosticClass get() = SecondaryConstructorWithBodyInsideInlineClass::class + abstract class SecondaryConstructorWithBodyInsideValueClass : KtFirDiagnostic() { + override val diagnosticClass get() = SecondaryConstructorWithBodyInsideValueClass::class } - abstract class InnerClassInsideInlineClass : KtFirDiagnostic() { - override val diagnosticClass get() = InnerClassInsideInlineClass::class + abstract class InnerClassInsideValueClass : KtFirDiagnostic() { + override val diagnosticClass get() = InnerClassInsideValueClass::class } abstract class ValueClassCannotBeCloneable : KtFirDiagnostic() { diff --git a/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/diagnostics/KtFirDiagnosticsImpl.kt b/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/diagnostics/KtFirDiagnosticsImpl.kt index 2ce590e3229..506eaf04d82 100644 --- a/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/diagnostics/KtFirDiagnosticsImpl.kt +++ b/analysis/analysis-api-fir/src/org/jetbrains/kotlin/analysis/api/fir/diagnostics/KtFirDiagnosticsImpl.kt @@ -1069,77 +1069,77 @@ internal class NoExplicitReturnTypeInApiModeWarningImpl( override val token: ValidityToken, ) : KtFirDiagnostic.NoExplicitReturnTypeInApiModeWarning(), KtAbstractFirDiagnostic -internal class InlineClassNotTopLevelImpl( +internal class ValueClassNotTopLevelImpl( override val firDiagnostic: KtPsiDiagnostic, override val token: ValidityToken, -) : KtFirDiagnostic.InlineClassNotTopLevel(), KtAbstractFirDiagnostic +) : KtFirDiagnostic.ValueClassNotTopLevel(), KtAbstractFirDiagnostic -internal class InlineClassNotFinalImpl( +internal class ValueClassNotFinalImpl( override val firDiagnostic: KtPsiDiagnostic, override val token: ValidityToken, -) : KtFirDiagnostic.InlineClassNotFinal(), KtAbstractFirDiagnostic +) : KtFirDiagnostic.ValueClassNotFinal(), KtAbstractFirDiagnostic -internal class AbsenceOfPrimaryConstructorForInlineClassImpl( +internal class AbsenceOfPrimaryConstructorForValueClassImpl( override val firDiagnostic: KtPsiDiagnostic, override val token: ValidityToken, -) : KtFirDiagnostic.AbsenceOfPrimaryConstructorForInlineClass(), KtAbstractFirDiagnostic +) : KtFirDiagnostic.AbsenceOfPrimaryConstructorForValueClass(), KtAbstractFirDiagnostic internal class InlineClassConstructorWrongParametersSizeImpl( override val firDiagnostic: KtPsiDiagnostic, override val token: ValidityToken, ) : KtFirDiagnostic.InlineClassConstructorWrongParametersSize(), KtAbstractFirDiagnostic -internal class InlineClassConstructorNotFinalReadOnlyParameterImpl( +internal class ValueClassConstructorNotFinalReadOnlyParameterImpl( override val firDiagnostic: KtPsiDiagnostic, override val token: ValidityToken, -) : KtFirDiagnostic.InlineClassConstructorNotFinalReadOnlyParameter(), KtAbstractFirDiagnostic +) : KtFirDiagnostic.ValueClassConstructorNotFinalReadOnlyParameter(), KtAbstractFirDiagnostic -internal class PropertyWithBackingFieldInsideInlineClassImpl( +internal class PropertyWithBackingFieldInsideValueClassImpl( override val firDiagnostic: KtPsiDiagnostic, override val token: ValidityToken, -) : KtFirDiagnostic.PropertyWithBackingFieldInsideInlineClass(), KtAbstractFirDiagnostic +) : KtFirDiagnostic.PropertyWithBackingFieldInsideValueClass(), KtAbstractFirDiagnostic -internal class DelegatedPropertyInsideInlineClassImpl( +internal class DelegatedPropertyInsideValueClassImpl( override val firDiagnostic: KtPsiDiagnostic, override val token: ValidityToken, -) : KtFirDiagnostic.DelegatedPropertyInsideInlineClass(), KtAbstractFirDiagnostic +) : KtFirDiagnostic.DelegatedPropertyInsideValueClass(), KtAbstractFirDiagnostic -internal class InlineClassHasInapplicableParameterTypeImpl( +internal class ValueClassHasInapplicableParameterTypeImpl( override val type: KtType, override val firDiagnostic: KtPsiDiagnostic, override val token: ValidityToken, -) : KtFirDiagnostic.InlineClassHasInapplicableParameterType(), KtAbstractFirDiagnostic +) : KtFirDiagnostic.ValueClassHasInapplicableParameterType(), KtAbstractFirDiagnostic -internal class InlineClassCannotImplementInterfaceByDelegationImpl( +internal class ValueClassCannotImplementInterfaceByDelegationImpl( override val firDiagnostic: KtPsiDiagnostic, override val token: ValidityToken, -) : KtFirDiagnostic.InlineClassCannotImplementInterfaceByDelegation(), KtAbstractFirDiagnostic +) : KtFirDiagnostic.ValueClassCannotImplementInterfaceByDelegation(), KtAbstractFirDiagnostic -internal class InlineClassCannotExtendClassesImpl( +internal class ValueClassCannotExtendClassesImpl( override val firDiagnostic: KtPsiDiagnostic, override val token: ValidityToken, -) : KtFirDiagnostic.InlineClassCannotExtendClasses(), KtAbstractFirDiagnostic +) : KtFirDiagnostic.ValueClassCannotExtendClasses(), KtAbstractFirDiagnostic -internal class InlineClassCannotBeRecursiveImpl( +internal class ValueClassCannotBeRecursiveImpl( override val firDiagnostic: KtPsiDiagnostic, override val token: ValidityToken, -) : KtFirDiagnostic.InlineClassCannotBeRecursive(), KtAbstractFirDiagnostic +) : KtFirDiagnostic.ValueClassCannotBeRecursive(), KtAbstractFirDiagnostic -internal class ReservedMemberInsideInlineClassImpl( +internal class ReservedMemberInsideValueClassImpl( override val name: String, override val firDiagnostic: KtPsiDiagnostic, override val token: ValidityToken, -) : KtFirDiagnostic.ReservedMemberInsideInlineClass(), KtAbstractFirDiagnostic +) : KtFirDiagnostic.ReservedMemberInsideValueClass(), KtAbstractFirDiagnostic -internal class SecondaryConstructorWithBodyInsideInlineClassImpl( +internal class SecondaryConstructorWithBodyInsideValueClassImpl( override val firDiagnostic: KtPsiDiagnostic, override val token: ValidityToken, -) : KtFirDiagnostic.SecondaryConstructorWithBodyInsideInlineClass(), KtAbstractFirDiagnostic +) : KtFirDiagnostic.SecondaryConstructorWithBodyInsideValueClass(), KtAbstractFirDiagnostic -internal class InnerClassInsideInlineClassImpl( +internal class InnerClassInsideValueClassImpl( override val firDiagnostic: KtPsiDiagnostic, override val token: ValidityToken, -) : KtFirDiagnostic.InnerClassInsideInlineClass(), KtAbstractFirDiagnostic +) : KtFirDiagnostic.InnerClassInsideValueClass(), KtAbstractFirDiagnostic internal class ValueClassCannotBeCloneableImpl( override val firDiagnostic: KtPsiDiagnostic, diff --git a/compiler/fir/analysis-tests/testData/resolve/inlineClasses/inlineClassDeclaration.kt b/compiler/fir/analysis-tests/testData/resolve/inlineClasses/inlineClassDeclaration.kt index 90a202cc613..57cd9d018a3 100644 --- a/compiler/fir/analysis-tests/testData/resolve/inlineClasses/inlineClassDeclaration.kt +++ b/compiler/fir/analysis-tests/testData/resolve/inlineClasses/inlineClassDeclaration.kt @@ -14,6 +14,6 @@ class A { inline class CloneableClass2(val x: Int): java.lang.Cloneable open class Test -inline class ExtendTest(val x: Int): Test +inline class ExtendTest(val x: Int): Test inline class ImplementByDelegation(val x: Int) : Comparable by x