Repository navigation
Incorrectly inferred type never for variables with strictNullChecks #9322
Description
TypeScript Version:
nightly (1.9.0-dev.20160623-1.0)
Code
let foo = [];
foo.push('x');Expected behavior:
No errors, TypeScript should infer the type any[] for the variable foo.
Actual behavior:
tsc without any command line option behaves as expected, but when used with --strictNullChecks it emits the error:
foo.ts(2,10): error TS2345: Argument of type 'string' is not assignable to parameter of type 'never'.
Activity
aluanhaddad commentedon Jun 24, 2016
Working in 1.9.0-dev.20160624-1.0
RyanCavanaugh commentedon Jun 24, 2016
Failing for me as described in current master
aluanhaddad commentedon Jun 24, 2016
Ryan Cavanaugh (@RyanCavanaugh) I had misconfigured project. I can indeed reproduce the error. Sorry for the confusion.
ahejlsberg commentedon Jun 29, 2016
This is working as intended. The inferred type for
fooisnever[]because we don't widen types in--strictNullChecksmode. Full details in #8944.