Error not generated for nested generic array #60453

type TypeA = number;
type TypeB = boolean;
type DataTypeTwo<T extends TypeA | TypeB> = {
  one: Array<{ two:  Array<T> }>;
};
type DataTypeThree<T extends TypeA | TypeB> = {
  one: Array<{ two: Array<{ three: Array<T> }> }>;
};

let testingThreeErr: DataTypeThree<TypeA> = {
  one: [{ two: [ {three: [ true ] } ]}] // errors as expected
};
let testingTwoErr: DataTypeTwo<TypeA> = {
  one: [{ two: [ false ] }] // errors as expected
};

// Uncomment these lines to see all errors
// let testingTwoPre: DataTypeTwo<TypeA> = {
//   one: [{ two: [ 5 ] }]
// };
// let t2aPre: DataTypeTwo<TypeB> = testingTwoPre;

let testingThree: DataTypeThree<TypeA> = {
  one: [{ two: [ {three: [ 5 ] } ]}]
};
// Comment out this line to see error for t2a assignment
let t3a: DataTypeThree<TypeB> = testingThree; // Should error, but does not

let testingTwo: DataTypeTwo<TypeA> = {
  one: [{ two: [ 5 ] }]
};
let t2a: DataTypeTwo<TypeB> = testingTwo; // errors only if section above commented out

let check: number = "asdf"; // always errors, as it should

// Comment out L27 to see correct error on L32
// Uncomment L27 and lines 18-21 to see all errors correctly

// Works as expected in v4.4.4, but not any later versions