The point is that the proposal now is pretty much identical with what Scala people wanted in the first place. The single-field restriction is there because the

The point is that the proposal now is pretty much identical with what Scala people wanted in the first place. The single-field restriction is there because there are limits in how aggressive one can fight a non-cooperating runtime, not because it was their principled choice.