Do Machine Learning Models Produce TypeScript Types that Type Check?