@scriptc/compiler 0.2.0 → 0.2.2

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

@@ -245,6 +245,10 @@ export declare function bodyReturnType(lowerer: Lowerer, isAsync: boolean, decla
    * dead code it is; it can only fire if the checker's proof was violated,
    * which would be a lowering bug — hence the please-report wording. */
 export declare function appendImplicitUndefinedReturn(lowerer: Lowerer, body: IrStmt[], bodyReturn: IrType, loc: SrcLoc): void;
+/** A declaration's checker-derived IR return type. The unmappable-type
+   * diagnostic points at `blame` (the name for top-level declarations, the
+   * whole node for lambda-likes — preserving each caller's historical loc). */
+export declare function hasExplicitJsDocReturn(decl: ts.SignatureDeclaration): boolean;
 export declare function declaredReturnType(lowerer: Lowerer, decl: ts.SignatureDeclaration, blame: ts.Node): IrType;
 export declare function collectSignature(lowerer: Lowerer, decl: ts.FunctionDeclaration): void;
 export declare function collectSignatureInner(lowerer: Lowerer, decl: ts.FunctionDeclaration): void;
@@ -396,15 +400,14 @@ export declare function lowerDynDispatchMethodCall(lowerer: Lowerer, call: ts.Ca
    * maps to string[] (type-mapper.ts), so the array rides the ordinary
    * slot-directed coercion into whatever the tag's first parameter wants
    * — string[] exactly, an `any` slot through the dyn boundary, a rest
-   * pack's first element. `.raw` does not exist on the lowered object:
-   * reads fence per member, and String.raw itself lowered above (the raw
-   * spans splice directly, no array materializes).
+   * pack's first element. Checked tags receive frozen cooked and raw
+   * arrays with the standard nonenumerable `.raw` descriptor. Typed direct
+   * tags retain the string-array representation.
    *
    * Tag forms: a top-level declared function (the direct-call fast path —
    * overload sets reconcile through the resolved signature exactly like
    * plain calls), an island value under --dynamic (engine method/function
-   * call: the engine side sees a plain marshaled array — a tag reading
-   * `.raw` there answers undefined where Node carries the raw spans), and
+   * call with the engine's cooked/raw template object), and
    * a checked-dynamic value (the dynCall boundary — a non-function tag
    * throws Node's catchable TypeError). Everything else — generic tags,
    * method tags, function-value bindings — fences by name. */