Closure isolation capture seemingly can't see through aliases – expected or a bug?

[John_McCall]

I think we may not have fully implemented that, which at this point implies that it should be pared down to match the implementation.