Sorry for this conversation dragging in #general. A thread in #codingconventions would’ve probably been more appropriate

I don’t think that it’s coding convention is the right place. There are discussions about code style, not about language features

Good call