Destructuring labeled tuple without labels assigns tuplabel to variables

[7h3kk1d]

let (a,b,c) = (?=1, 2, b=3) in c

evaluates to

b=3 as a tuplabel. This should be indet or the pattern should be autolabelled.

[disconcision]

is this one new do you know?

[7h3kk1d]

I don't know. But I somewhat doubt it.

[7h3kk1d]

I just tried on the labeled-tuple-rewrite branch which is the original merged one and it returns 3 there which with autolabeling is maybe what you want.