Suggestion: TypeScript generic types are covariant about tragic-methods

[neemspees]

@pedropedruzzi, thanks for this interesting quirk!

[pedropedruzzi]

Thanks for adding it! Note: this is not only for arrays. Every generic type in TypeScript is covariant. For example:

interface Reference<T> {
    value?: T;
}

function testInterface() {
    const circleRef: Reference<Circle> = {};
    const shapeRef: Reference<Shape> = circleRef; // ISSUE: should be syntax error: Type 'Reference<Circle>' is not assignable to type 'Reference<Shape>'
    const square: Square = { name: 'square of length 10', length: 10 };
    const shape: Shape = square;

    shapeRef.value = shape; // allowed because shapeRef is a Reference<Shape> in compile time
    shapeRef.value = square; // same

    const circle: Circle | undefined = circleRef.value; // this is a Square not a Circle!

    return circle;
}

[neemspees]

@pedropedruzzi, thanks, it has been updated.