Type-based alias analysis in the Toy Optimizer | Dark Hacker News