Which is the inferred type T?

type T = Extract<"a" | "b", "b">;