tests/cases/conformance/expressions/typeSatisfaction/a.ts(4,29): error TS1360: Type '{}' does not satisfy the expected type 'Foo'.
  Property 'a' is missing in type '{}' but required in type 'Foo'.


==== tests/cases/conformance/expressions/typeSatisfaction/a.ts (1 errors) ====
    interface Foo {
        a: number;
    }
    export default {} satisfies Foo;
                                ~~~
!!! error TS1360: Type '{}' does not satisfy the expected type 'Foo'.
!!! error TS1360:   Property 'a' is missing in type '{}' but required in type 'Foo'.
!!! related TS2728 tests/cases/conformance/expressions/typeSatisfaction/a.ts:2:5: 'a' is declared here.
    
==== tests/cases/conformance/expressions/typeSatisfaction/b.ts (0 errors) ====
    interface Foo {
        a: number;
    }
    export default { a: 1 } satisfies Foo;
    