After this `satisfies`, can `data.tags.push("c")` be called, and what is the type of `data.tags`?const data = { tags: ["a", "b"] } satisfies { tags: string[] }; data.tags.push("c");
