Only the *checked* type position triggers distribution; a union appearing in the `extends` (constraint) position does not. What is `R`?type Check<T> = string extends T ? "yes" : "no"; type R = Check<"a" | "b">;
