RsCachedTypeAlias.kt

/*
 * Use of this source code is governed by the MIT license that can be
 * found in the LICENSE file.
 */

package org.rust.lang.core.resolve

import org.rust.lang.core.crate.Crate
import org.rust.lang.core.psi.RsTypeAlias
import org.rust.lang.core.psi.ext.RsAbstractableOwner
import org.rust.lang.core.psi.ext.RsTypeAliasImplMixin
import org.rust.lang.core.psi.ext.owner
import org.rust.lang.core.psi.isValidProjectMemberAndContainingCrate
import org.rust.lang.core.types.consts.CtConstParameter
import org.rust.lang.core.types.infer.constGenerics
import org.rust.lang.core.types.infer.generics
import org.rust.lang.core.types.ty.Ty
import org.rust.lang.core.types.ty.TyTypeParameter
import kotlin.LazyThreadSafetyMode.PUBLICATION

/**
 * Used for optimization purposes, to reduce access to cache and PSI tree in some very hot places,
 * [ImplLookup.processTyFingerprintsWithAliases] in particular
 */
class RsCachedTypeAlias(
    val alias: RsTypeAlias
) {
    val name: String? = alias.name

    val isFreeAndValid: Boolean

    val containingCrate: Crate?
    val containingCrates: List<Crate>

    init {
        val (isValid, crate, crates) = alias.isValidProjectMemberAndContainingCrate
        this.containingCrate = crate
        this.containingCrates = crates
        this.isFreeAndValid = isValid
            && name != null
            && alias.owner is RsAbstractableOwner.Free
    }

    val typeAndGenerics: Triple<Ty, List<TyTypeParameter>, List<CtConstParameter>> by lazy(PUBLICATION) {
        Triple(alias.declaredType, alias.generics, alias.constGenerics)
    }

    companion object {
        fun forAlias(alias: RsTypeAlias): RsCachedTypeAlias {
            return (alias as RsTypeAliasImplMixin).cachedImplItem.value
        }
    }
}