Does ++ have a return value?
Does ++ have a return value? Currently, the type checker and the semantics disagree, leading to strange behavior:
https://pseuco.com/#/edit/remote/n45cqybq5mfuce0smvpf
I think we agreed to make this an error (to avoid confusion), making this a type checking problem.