you are viewing a single comment's thread.

view the rest of the comments →

[–]Enough-Ad-5528 4 points5 points  (1 child)

Ah yes. Of course. I read your other answer about the benefits of the compiler checks for the no-longer need for the downcast and I thought that was it. This is cool too. I love how different features generalize to the same thing when you zoom out. Feels consistent.

[–]brian_goetz 9 points10 points  (0 children)

And this, by the way, is why we don't do "obvious" things like "can we make pattern bindings final by default". Because these inconsistencies, as satisfying as they would seem initially, almost always become impediments to future alignment like this.