FIR: Leave single implementation of ConeInferenceContext
This commit is contained in:
@@ -11,14 +11,6 @@ import org.jetbrains.kotlin.fir.types.ConeTypeContext
|
|||||||
import org.jetbrains.kotlin.types.AbstractTypeCheckerContext
|
import org.jetbrains.kotlin.types.AbstractTypeCheckerContext
|
||||||
import org.jetbrains.kotlin.types.model.TypeSystemContext
|
import org.jetbrains.kotlin.types.model.TypeSystemContext
|
||||||
|
|
||||||
private class SessionBasedInferenceContext(override val session: FirSession) : ConeInferenceContext {
|
val FirSession.inferenceContext: ConeInferenceContext
|
||||||
override fun newBaseTypeCheckerContext(
|
get() = ConeTypeCheckerContext(isErrorTypeEqualsToAnything = false, isStubTypeEqualsToAnything = false, this)
|
||||||
errorTypesEqualToAnything: Boolean,
|
|
||||||
stubTypesEqualToAnything: Boolean
|
|
||||||
): AbstractTypeCheckerContext {
|
|
||||||
return ConeTypeCheckerContext(errorTypesEqualToAnything, stubTypesEqualToAnything, session)
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
val FirSession.inferenceContext: ConeInferenceContext get() = SessionBasedInferenceContext(this)
|
|
||||||
val FirSession.typeContext: ConeTypeContext get() = inferenceContext
|
val FirSession.typeContext: ConeTypeContext get() = inferenceContext
|
||||||
|
|||||||
Reference in New Issue
Block a user