What type does TypeScript infer for s?

function firstOr<T>(items: T[], fallback: T): T {
  return items.length > 0 ? items[0] : fallback;
}
const s = firstOr(["a"], "none");