other is KaPropertyAccessorSymbolPointer<*> &&
                other.javaClass == javaClass &&
                other.propertySymbolPointer.pointsToTheSameSymbolAs(propertySymbolPointer)
    }
}

@KaAnalysisApiInternals
class KaPropertyGetterSymbolPointer(
    propertySymbolPointer: KaSymbolPointer<KaPropertySymbol>,
) : KaPropertyAccessorSymbolPointer<KaPropertyGetterSymbol>(propertySymbolPointer) {