import type { TypeCheckerContext } from "./types.js";
/**
 * A parameter without a default may not follow one with a default — on
 * defs and nodes alike. Arguments bind positionally, so a call that
 * omits arguments can only ever omit TRAILING ones: `node t(a = "x",
 * b: string)` called as `t("only")` would fill `a` and silently leave
 * required `b` undefined (the arity check counts non-defaulted
 * parameters, which is the right minimum only when defaults are last).
 * Rejecting the shape here is what makes omitted-argument handling in
 * the emitter provably safe.
 */
export declare function checkParamDefaultOrder(ctx: TypeCheckerContext): void;