Is @disable obsolete?

[Nick Treleaven]

On Wednesday, 6 August 2025 at 00:42:43 UTC, Brother Bill wrote:
> If a struct has a user provided constructor, then the default 
> constructor is removed.

Is it?

```d
struct S
{
     int i;
     this(int);
}

void main()
{
     S s = S(); // OK
}
```