/**
 * Object Literal Synthesis Eligibility
 *
 * Checks basic structural eligibility for object literal synthesis.
 * Validates structural constraints (no non-deterministic computed keys,
 * no dynamic receiver method shorthand, etc.) but does NOT validate
 * spread type annotations (that requires TypeSystem).
 */
import * as ts from "typescript";
import { TsonicProgram } from "../program.js";
/**
 * Result of basic eligibility check for object literal synthesis.
 */
export type BasicEligibilityResult = {
    eligible: true;
} | {
    eligible: false;
    reason: string;
};
/**
 * Check basic structural eligibility for object literal synthesis.
 *
 * This is a simplified check that doesn't require TypeSystem access.
 * It validates structural constraints (no non-deterministic computed keys,
 * no dynamic receiver method shorthand, etc.)
 * but does NOT validate spread type annotations (that requires TypeSystem).
 *
 * Full eligibility check happens during IR conversion.
 */
export declare const checkBasicSynthesisEligibility: (node: ts.ObjectLiteralExpression, program: TsonicProgram) => BasicEligibilityResult;
//# sourceMappingURL=synthesis-eligibility.d.ts.map