let x = "hello" satisfies string;