Complete agreement. This amounts to a hidden laziness requirement that,
while it might be possible to support it for built-in patterns, would
present hideous translation challenges for nontrivial declared patterns.
On 3/5/2021 5:41 PM, Guy Steele wrote:
A compiler would likely optimize common special cases to effectively implement
all-at-once population of bindings when it would be impossible to detect any
difference in behavior. But I don’t think all-at-once population is the right
theoretical model.