Date: Mon, 3 Feb 2020 11:47:23 +0200
Hello, I present a (draft) proposal, which argues auto-dereference is
preferred over the dereference pattern in current Pattern Matching.
preferred over the dereference pattern in current Pattern Matching.
Received on 2020-02-03 03:50:14