I'm not sure I understand. This is what you wrote:

My example shows that...

This proposal is not about allowing default struct constructors. Under this proposal, `S()` would still...

...It could just be `scope` on function parameters (for functions that aren't inferred). But...

On Tuesday, 27 August 2024 at 08:48:19 UTC, Ogi wrote:

I'll point...

...by multiple outputs are not supported.

Both parameters are outputs, not just the first one...

...constructors that could be called with zero parameters. All kinds of variadic constructors are perfectly...

...called with 0 parameters? Could you also elaborate about how named parameters affect this situation?

...woes with `scope` parameters and woes with `return scope`/`ref return scope` parameters.

When it...

...function with all parameters optional with a function that takes no parameters. The parameterless overload...

...completely checked, for the other only the parameters and return values are checked.
These checks...