[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

Walter Bright <bugzilla at digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Walter Bright <bugzilla at digitalmars.com> ---
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.

--