I read most of that proposal and I really like it! I hope they get it into the next standard. In a way, it’s kind of a very narrow form of dependent types. It

I read most of that proposal and I really like it! I hope they get it into the next standard. In a way, it’s kind of a very narrow form of dependent types. It solves this one issue very cleanly.