[Issue 17309] [REG 2.073.2] constructor template doesn't infer `pure`

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=17309

--- Comment #4 from ag0aep6g at 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.

--