val actual = analyseForTest(ktTypeReference) {
            val ktType = ktTypeReference.getKtType()
            val annotations = ktType.annotations
            buildString {
                appendLine("${KtTypeReference::class.simpleName}: ${ktTypeReference.text}")
                appendLine("annotations: [")
                for (annotation in annotations) {

      PSI: KtNamedFunction at (4,3-21)
  for PSI element of type KtTypeReference at (6,10-11)
    FINAL_SUPERTYPE      text ranges: [(71,72)]
      PSI: KtTypeReference at (6,10-11)
  for PSI element of type KtNamedFunction at (2,1-18)
    NON_MEMBER_FUNCTION_NO_BODY      text ranges: [(11,28)]
      PSI: KtNamedFunction at (2,1-18)
  for PSI element of type KtTypeReference at (6,10-11)
    SUPERTYPE_NOT_INITIALIZED      text ranges: [(71,72)]

      PSI: KtNameReferenceExpression at (87,5-37)
  for PSI element of type KtTypeReference at (67,22-39)
    DEPRECATION      text ranges: [(145,162)]
      PSI: KtTypeReference at (67,22-39)
  for PSI element of type KtTypeReference at (68,26-47)
    DEPRECATION      text ranges: [(189,210)]
      PSI: KtTypeReference at (68,26-47)
  for PSI element of type KtTypeReference at (69,35-65)
    TYPEALIAS_EXPANSION_DEPRECATION      text ranges: [(246,276)]

    ABSTRACT_FUNCTION_IN_NON_ABSTRACT_CLASS      text ranges: [(41,49)]
      PSI: KtNamedFunction at (4,3-21)
  for PSI element of type KtTypeReference at (6,10-11)
    FINAL_SUPERTYPE      text ranges: [(71,72)]
      PSI: KtTypeReference at (6,10-11)
  for PSI element of type KtProperty at (1,1-11)
    MUST_BE_INITIALIZED      text ranges: [(0,10)]
      PSI: KtProperty at (1,1-11)

        val expressionAtCaret = testServices.expressionMarkerProvider.getElementOfTypeAtCaret(mainFile) as KtTypeReference

        val actual = analyseForTest(expressionAtCaret) {
            val ktType = expressionAtCaret.getKtType()
            buildString {
                appendLine("${KtTypeReference::class.simpleName}: ${expressionAtCaret.text}")

    /**
     * Resolve [KtTypeReference] and return corresponding [KaType] if resolved.
     *
     * This may raise an exception if the resolution ends up with an unexpected kind.
     */
    public fun KtTypeReference.getKaType(): KaType =
        withValidityAssertion { analysisSession.typeProvider.getKtType(this) }

    public fun KtTypeReference.getKtType(): KaType = getKaType()

    /**

    }

    override fun getKtType(ktTypeReference: KtTypeReference): KaType {
        val bindingContext = analysisContext.analyze(ktTypeReference, AnalysisMode.PARTIAL)
        val kotlinType = bindingContext[BindingContext.TYPE, ktTypeReference]
            ?: getKtTypeAsTypeArgument(ktTypeReference)
            ?: ErrorUtils.createErrorType(ErrorTypeKind.UNRESOLVED_TYPE, ktTypeReference.text)

            .commonSuperTypeOrNull(types.map { it.coneType })
            ?.asKtType()
    }

    override fun getKtType(ktTypeReference: KtTypeReference): KaType {
        val fir = ktTypeReference.getFirBySymbols() ?: ktTypeReference.getOrBuildFirOfType<FirElement>(firResolveSession)
        return when (fir) {
            is FirResolvedTypeRef -> fir.coneType.asKtType()

    private val isAnnotationCall: Boolean
        get() {
            val ktUserType = expression.parent as? KtUserType ?: return false
            val ktTypeReference = ktUserType.parent as? KtTypeReference ?: return false
            val ktConstructorCalleeExpression = ktTypeReference.parent as? KtConstructorCalleeExpression ?: return false
            return ktConstructorCalleeExpression.parent is KtAnnotationEntry
        }

private
fun CtBehavior.firstParameterMatches(ktTypeReference: KtTypeReference): Boolean =
    parameterTypes.firstOrNull()?.isLikelyEquivalentTo(ktTypeReference) ?: false


private
fun CtClass.isLikelyEquivalentTo(ktTypeReference: KtTypeReference): Boolean {
    val ktTypeAsText = ktTypeReference.text
    if (ktTypeAsText.contains(" -> ")) {
        // This is a function of some sort