On Tuesday, 3 May 2022 at 06:20:53 UTC, Elfstone wrote:
Yeah, I understand some cases are impossible, and to be
avoided. I believe your example is also impossible in C++, but
it's better the compiler do its job when it's totally possible
- needless to say, C++ compilers can deduce my _dot_.
Constraints/Concepts are useful, but what's needed here is a
literal _alias_. There's no ambiguity, no extra template
parameters introduced in the declaration.
I haven't read all of the posts in this thread, but D in general
doesn't do proper type unification so template composition in D
is not as useful as in C++. It is discussed here:
https://forum.dlang.org/post/rt26mu$2c6q$1...@digitalmars.com
As you see, someone will have to write a DIP to fix this bug, as
the language authors don't consider it a bug, but an enhancement.
I've never got around to do it myself, but if you or someone else
write the DIP, then I would like to help out with the wording if
needed.
