firDiagnostic: KtPsiDiagnostic,
    token: KaLifetimeToken,
) : KaAbstractFirDiagnostic<KtTypeReference>(firDiagnostic, token), KaFirDiagnostic.QualifiedSupertypeExtendedByOtherSupertype

internal class SupertypeInitializedInInterfaceImpl(
    firDiagnostic: KtPsiDiagnostic,
    token: KaLifetimeToken,
) : KaAbstractFirDiagnostic<KtTypeReference>(firDiagnostic, token), KaFirDiagnostic.SupertypeInitializedInInterface

import org.jetbrains.kotlin.platform.TargetPlatform
import org.jetbrains.kotlin.psi.KtCallExpression
import org.jetbrains.kotlin.psi.KtFile
import org.jetbrains.kotlin.psi.KtNamedFunction
import org.jetbrains.kotlin.psi.KtTypeReference
import org.jetbrains.kotlin.psi.psiUtil.findDescendantOfType
import org.junit.jupiter.api.Assertions
import java.nio.file.Path

@OptIn(KaAnalysisApiInternals::class)

KtTypeReference: @TypeAnnotation List<Int>
annotations: [
  TypeAnnotation()
    psi: KtAnnotationEntry

KtTypeReference: @TypeAnnotation(1 + 1) List<Int>
annotations: [
  TypeAnnotation(value = 2)
    psi: KtAnnotationEntry

KtTypeReference: @TypeAnnotation(1) List<Int>
annotations: [
  TypeAnnotation(value = 1)
    psi: KtAnnotationEntry

    }

    private fun isTheSameTypes(
        psiTypeReference: KtTypeReference,
        coneTypeReference: FirTypeRef,
        isVararg: Boolean
    ): Boolean =
        psiTypeReference.toKotlinTypeReference().renderTypeAsKotlinType(isVararg) == coneTypeReference.renderTypeAsKotlinType()

    @Suppress("DEPRECATION_ERROR")
    private fun KtTypeReference.toKotlinTypeReference(): FirTypeRef {

        override val diagnosticClass get() = InterfaceWithSuperclass::class
    }

    interface FinalSupertype : KaFirDiagnostic<KtTypeReference> {
        override val diagnosticClass get() = FinalSupertype::class
    }

    interface ClassCannotBeExtendedDirectly : KaFirDiagnostic<KtTypeReference> {

KtTypeReference: @TypeAnnotation Int
annotations: [
  TypeAnnotation()
    psi: KtAnnotationEntry

KtTypeReference: @TypeAnnotation Int
annotations: [
  TypeAnnotation()
    psi: KtAnnotationEntry

KtTypeReference: @TypeAnnotation(1) Int
annotations: [
  TypeAnnotation(value = 1)
    psi: KtAnnotationEntry