ExpressionFactsIr

Carries the conservative facts proven about one lowered expression.

Signature

interface ExpressionFactsIr

dependencies?: ResolvedBindingIr[]

effectFree: FactCertainty

escape: "unknown" | "contained"

phases?: ExpressionPhaseIr[]

value: ExpressionValueIr