Does this `satisfies` expression compile, and why?

type Config = { a: number; b: number }; const c = { a: 1 } satisfies Config;