Semantic Subtyping in Luau | Dark Hacker News