On Wednesday, 10 August 2022 at 06:15:39 UTC, Dom Disc wrote:
Ok, then I consider this is a bug in Phobos that should be
corrected.
All instances of
```D
foo(T : fixedType)(T x) { }
```
should be replaced by
```D
foo(fixedType x) { }
```
Perhaps, but not necessarily. The body of foo could do
introspection on T with static if or overloaded functions and
produce specialised code. Even if foo doesn't do that, perhaps
the author reserves the right to do that in future.
Or perhaps it needs to be a template to infer attributes. For
that case, using an empty template parameter list would be
clearer.
