> 2. Mutability of binding variables.
>
> I agree,
> but in that case, does it also mean that "final" as modifier should be
> allowed ?
> if (foo instanceof final Bar b) { … }It means it’s a valid question, but a separate one; we could consider allowing final as a modifier on binding variables. But I see no reason we have to do that now, and would prefer not too.
