4 ms·"operator auto" has been proposed a few times. But nailing down the semantics has proven elusive.by gpderetta 2y ago"operator auto" has been proposed a few times. But nailing down the semantics has proven elusive.