Bug 3067 – std.range.chain returns a range of wrong type elements

import std.stdio; import std.algorithm; import std.range; void main() { f(chain("a")); // immutable(char) <- OK f(chain("a".dup)); // char <-------- ? f(chain("a".dup, "b")); // int <---- NG } void f(Range)(Range r) { writeln(typeid(ElementType!(Range))); }

(In reply to comment #0) - f(chain("a".dup)); // char <-------- ? + f(chain("a".dup)); // char <-------- OK

This is a bug in the compiler. Consider: import std.stdio; void main() { auto x = true ? ("a".dup)[0] : "b"[0]; writeln(typeof(x).stringof); } This program prints int, meaning that the common type of a char and immutable(char) is int. It should be char. I'm reassigning this to Walter.

(In reply to comment #2) > This is a bug in the compiler. Consider: > > import std.stdio; > void main() > { > auto x = true ? ("a".dup)[0] : "b"[0]; > writeln(typeof(x).stringof); > } > > This program prints int, meaning that the common type of a char and > immutable(char) is int. It should be char. > > I'm reassigning this to Walter. As Andrei said, This issue was not a bug of phobos, but this is a bug of conditional operator. Is it difficult to fix?

*** This issue has been marked as a duplicate of issue 5659 ***