No. In that example `y` is an `int`.

On Tuesday, 9 January 2024 at 13:25:49 UTC, Timon Gehr wrote:

AliasSeq!() - point...

I fully agree with your analysis above. This should error.

In type theory a tuple can be:

1. A distinct type, it is an object...

...Trying to rename a parameter when the tuple element already has a parameter name should...

My intuition says that an empty tuple is nothing at all, and should just be...

I never really understood Tuple. It creates a struct that behaves like a tuple.

...a tuple of arguments, is passed to the `execi` template.
2. The first tuple element...

...not work with DIP1027 together with better tuple support. Rather you would
> need to add...

...from this:

```d
import std.typecons:tuple;
auto tup2 = tuple(i,3+i).expand;
```

I...