interface Ro {
    readonly x: string;
}

const modify = (rw: {x: string;}) => rw.x = 'bye';
const use = (v: Ro) => {
    console.log(v.x);

    //v.x = 'bye'; Compiler error: "Cannot assign to 'x' because it is a read-only property.". Хорошо!
    modify(v);// No errors, not even warnings. Всё молча отрабатывает.
}
const ro: Ro = {x: "hi"}
use(ro);
console.log(ro.x);// readonly field поменялось молча!

Ковариация для массивов позволяет неявно преобразовать массив более производного типа в массив менее производного типа. Но эта операция не является типобезопасной, как показано в следующем примере кода.

object[] array = new String[10];  
// The following statement produces a run-time exception.  
// array[0] = 10;

import java.util.ArrayList;

class Playground {
    public static void main(String[ ] args) {
        ArrayList<String> languages = new ArrayList<>();
        ArrayList x = languages;

        languages.add("x y z");
        x.add(5); // собака в массиве котов

        System.out.println(languages.get(1)); // любуешься разницей, а что будет если передавать 0 и 1
    }
}

S>object[] array = new String[10];  
S>// The following statement produces a run-time exception.  
S>// array[0] = 10; 
S>

List<Integer> ints = List.of(1, 2, 3);
//List<Number> nums = ints;//compiler error "incompatible types"
List<? extends Number> nums = ints;//ok
assert nums.get(0) instanceof Integer;
//nums.add(1.1);//compiler error "type mismatch"