[Issue 17141] CommonType!(dchar, char) returns uint

https://issues.dlang.org/show_bug.cgi?id=17141 Jack Stouffer changed: What|Removed |Added Blocks||17358 --

[Issue 17141] CommonType!(dchar, char) returns uint

https://issues.dlang.org/show_bug.cgi?id=17141 Jack Stouffer changed: What|Removed |Added Severity|major |critical --- Comment

[Issue 17141] CommonType!(dchar, char) returns uint

https://issues.dlang.org/show_bug.cgi?id=17141 --- Comment #5 from hst...@quickfur.ath.cx --- Hmph. Looks like the problem is that the very first thing typeMerge() does is to do integer promotion on the incoming types. Thus, right from the start, we've already lost the original character types.

[Issue 17141] CommonType!(dchar, char) returns uint

https://issues.dlang.org/show_bug.cgi?id=17141 --- Comment #4 from hst...@quickfur.ath.cx --- Looks like this is implemented in the hairball function typeMerge() in src/ddmd/dcast.d. I'll try to trace through and see if I can find an obvious problem, but I'm not sure if I'll be able to. --

[Issue 17141] CommonType!(dchar, char) returns uint

https://issues.dlang.org/show_bug.cgi?id=17141 hst...@quickfur.ath.cx changed: What|Removed |Added Component|phobos |dmd --

[Issue 17141] CommonType!(dchar, char) returns uint

https://issues.dlang.org/show_bug.cgi?id=17141 --- Comment #3 from hst...@quickfur.ath.cx --- Unfortunately, it looks like CommonType is implemented using the ?: ternary operator, meaning that it's the *compiler* that's producing these crazy results. --

[Issue 17141] CommonType!(dchar, char) returns uint

https://issues.dlang.org/show_bug.cgi?id=17141 hst...@quickfur.ath.cx changed: What|Removed |Added CC||hst...@quickfur.ath.cx --- Comment

[Issue 17141] CommonType!(dchar, char) returns uint

https://issues.dlang.org/show_bug.cgi?id=17141 Jack Stouffer changed: What|Removed |Added Severity|normal |major --- Comment #1