isolatedDeclarationsNonIdentifierAssignmentInference.ts(6,15): error TS9013: Expression type can't be inferred with --isolatedDeclarations.
isolatedDeclarationsNonIdentifierAssignmentInference.ts(7,15): error TS9013: Expression type can't be inferred with --isolatedDeclarations.
isolatedDeclarationsNonIdentifierAssignmentInference.ts(8,15): error TS9013: Expression type can't be inferred with --isolatedDeclarations.
isolatedDeclarationsNonIdentifierAssignmentInference.ts(10,24): error TS9013: Expression type can't be inferred with --isolatedDeclarations.


==== isolatedDeclarationsNonIdentifierAssignmentInference.ts (4 errors) ====
    declare function foo(): number;
    declare function bar(): { x: number };
    class Base { get y(): number { return 0; } set y(v: number) {} }
    export class C extends Base {
        z = 0;
        a = { p: (this.z = foo()) };
                  ~~~~~~~~~~~~~~
!!! error TS9013: Expression type can't be inferred with --isolatedDeclarations.
!!! related TS9029 isolatedDeclarationsNonIdentifierAssignmentInference.ts:6:5: Add a type annotation to the property a.
!!! related TS9035 isolatedDeclarationsNonIdentifierAssignmentInference.ts:6:15: Add satisfies and a type assertion to this expression (satisfies T as T) to make the type explicit.
        b = { p: (super.y = foo()) };
                  ~~~~~~~~~~~~~~~
!!! error TS9013: Expression type can't be inferred with --isolatedDeclarations.
!!! related TS9029 isolatedDeclarationsNonIdentifierAssignmentInference.ts:7:5: Add a type annotation to the property b.
!!! related TS9035 isolatedDeclarationsNonIdentifierAssignmentInference.ts:7:15: Add satisfies and a type assertion to this expression (satisfies T as T) to make the type explicit.
        c = { p: (bar().x = foo()) };
                  ~~~~~~~~~~~~~~~
!!! error TS9013: Expression type can't be inferred with --isolatedDeclarations.
!!! related TS9029 isolatedDeclarationsNonIdentifierAssignmentInference.ts:8:5: Add a type annotation to the property c.
!!! related TS9035 isolatedDeclarationsNonIdentifierAssignmentInference.ts:8:15: Add satisfies and a type assertion to this expression (satisfies T as T) to make the type explicit.
    }
    export const d = { p: (bar().x = foo()) };
                           ~~~~~~~~~~~~~~~
!!! error TS9013: Expression type can't be inferred with --isolatedDeclarations.
!!! related TS9027 isolatedDeclarationsNonIdentifierAssignmentInference.ts:10:14: Add a type annotation to the variable d.
!!! related TS9035 isolatedDeclarationsNonIdentifierAssignmentInference.ts:10:24: Add satisfies and a type assertion to this expression (satisfies T as T) to make the type explicit.
    