https://issues.dlang.org/show_bug.cgi?id=17309
--- Comment #4 from ag0ae...@gmail.com --- (In reply to Walter Bright from comment #3) > I think that trouble here is that attribute inference is not done until the > template is instantiated. But the compiler does not instantiate a template > until it matches a template, and > > this(Range)(Range s) > > does not match for constructing an immutable. I don't see a way out of this > chicken-and-egg problem. > > I'm going to mark this as invalid. 1) That's a major bummer. 2) It means that Russel's issue is a phobos regression. I've filed it separately as issue 17330. --