In structural variance terms, what relationship does TypeScript enforce between `readonly [A, B]` and `[A, B]`?

declare let ro: readonly [number, string]; declare let mut: [number, string]; ro = mut; // (1) mut = ro; // (2)