Odd behavior with --noImplicitAny false --strictNullChecks true

Given this code:

const x = [];
x.push(1);
const y: string = x[0];

With various settings of --noImplicitAny and strictNullChecks, we get the following types for x on line 3:

	`--noImplicitAny false`	`--noImplicitAny true`
`--strictNullChecks false`	`any[]`	`number[]`
`--strictNullChecks true`	`never[]`	`number[]`

I would expect the lower-left corner to also be any[], not never[].
(Ref: #16218 (comment))

I would expect the lower-left corner to also be any[], not never[].

Thank you.

With the --strict true and --noImplicitAny false compiler options, the compiler forces us to sprinkle the code with unpleasant statements:

const arr: any[] = []

Navigation Menu