method require

require(key: FactKey[RecordT], *, node: astx.AST | None = None, phase: Literal['analysis', 'lowering'] = 'lowering') -> RecordT

Source: packages/irx/src/irx/analysis/facts.py:226

Diagnose missing or corrupted required facts at a phase boundary.

Parameters

• key — Type: FactKey[RecordT]

• node — Type: astx.AST | None

• phase — Type: Literal[analysis, lowering]

Returns

Type: RecordT