@scriptc/compiler 0.2.7 → 0.2.8

package/dist/frontend/lowering/lower-exprs.d.ts

@@ -108,6 +108,9 @@ export declare function lowerUnitComparison(lowerer: Lowerer, left: IrExpr, righ
  * results (several non-unit arms) and defaults that change the result
  * type are fenced with narrow-first hints. */
 export declare function lowerNullishCoalesce(lowerer: Lowerer, expr: ts.BinaryExpression, loc: SrcLoc): IrExpr;
+/** The TypeError of a deferred-init field read that finds the field
+ * unassigned where its declared type cannot hold undefined. */
+export declare const DEFERRED_READ_MESSAGE = "undefined is not representable in the target union (a value narrowed or asserted past it still held it)";
 /** A CONDITION-position expression: the result is consumed as a bool
  * only, so `&&`/`||` descend recursively over ToBoolean'd operands —
  * JS-exact (`ToBoolean(a && b)` ≡ `ToBoolean(a) && ToBoolean(b)`), still
@@ -180,6 +183,16 @@ export declare function lowerElementAccess(lowerer: Lowerer, expr: ts.ElementAcc
  * whose key type proves membership (tsc's keyof check): all fields must
  * share the result type, and a smuggled miss traps. */
 export declare function lowerRecordKeyRead(lowerer: Lowerer, expr: ts.ElementAccessExpression, shapeId: string, shape: IrRecordShape, includeUndefined?: boolean): IrExpr;
+/** The stored value of an identifier whose storage holds an undefined arm
+ * that the checker's type at this use has dropped. An assignment from an
+ * unchecked indexed read narrows the declared type even though the value
+ * can be absent at runtime, so presence tests (`=== undefined`, `== null`,
+ * truthiness, `??`, `typeof`) read the storage tag instead of trusting
+ * that narrowing. A guard-proven use answers the same way at runtime. */
+export declare function runtimeOptionalStorageOperand(lowerer: Lowerer, node: ts.Expression): IrExpr | null;
+/** A presence-test operand: an absence-aware element or field read, an
+ * identifier's runtime-optional storage, or the ordinary lowering. */
+export declare function lowerPresenceOperand(lowerer: Lowerer, node: ts.Expression): IrExpr;
 /** A keyed read used only to observe absence (`if (map[k])`, or the left
  * side of `||`/`??`). JavaScript answers undefined for missing record keys
  * and array indices even when noUncheckedIndexedAccess is disabled. Keep