Which is the inferred type R?

type R = number[] extends readonly number[] ? true : false;