The keyword being "strict". Typescript is more popular than ever, but soundness is not a design goal.