arrow-analysis-kotlin-plugin/arrow.meta.plugins.analysis.phases.analysis.solver.ast.kotlin.elements/KotlinTypeConstraint

KotlinTypeConstraint

class KotlinTypeConstraint(impl: KtTypeConstraint) : TypeConstraint, KotlinElement

Functions

getResolvedCall

open override fun getResolvedCall(context: ResolutionContext): ResolvedCall?

getVariableDescriptor

open override fun getVariableDescriptor(context: ResolutionContext): VariableDescriptor?

open override fun impl(): KtTypeConstraint

open override fun location(): CompilerMessageSourceLocation?

open override fun parents(): List<Element>

Properties

boundTypeReference

open override val boundTypeReference: TypeReference?

val impl: KtTypeConstraint

open override val psiOrParent: Element

subjectTypeParameterName

open override val subjectTypeParameterName: SimpleNameExpression?

open override val text: String