In Typescript, how to understand 'extends' of union types?

Question

Here is my try:

type Comb1 = "123" | "1234";
type Comb2 = "123" | "1234" | "12345";

type Res =