let {a, ..y} = {a=1, b=2} in y.a