Swift type checking is undecidable | Dark Hacker News