Typescript Will Always Correctly Infer The Type Of An Array