[superb_dev]

I don’t think type elision make the codes execution less explicit. Nothing else could go there

[necovek]

That's a textbook definition of "implicit", as in not directly specified, but assumed.

The fact that unacceptable parameter would fail compile time validation does not make it any more readable.

[dleslie]

Consider this:

    var foo = OpaqueTypeName(.{}){};

What is the . eliding?

You don't know. I don't know. It's impossible to tell because the type is opaque to our understanding.