Fixed issue 14981

[JackStouffer]

Using the new auto function attribute inference in 2.068.

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

[atilaneves]

Why does this work? I copied the code and the deduced return type remained void.

[yebblies]

The type is inferred as void. It should probably be turned into a template function instead.
private void dbgVerifySorted()()

[atilaneves]

I still don't get how this fixes the issue.

[JackStouffer]

@atilaneves In 2.068, auto functions function attributes are inferred http://dlang.org/changelog/2.068.0.html#attribinference3

[schveiguy]

I thought member functions of template structs/classes were already inferred?

[JackStouffer]

You might be right, I don't know. I thought that they were only inferred if they were templates or auto functions themselves.

[schveiguy]

Yeah, this compiles. There is another reason why this isn't working. I agree with @atilaneves.

struct S(T)
{
    void foo() {}
}

void main() nothrow
{
    S!int s;
    s.foo();
}

[JackStouffer]

Changing the return type back to void passes the test as well. This might have been fixed via #3669.

[schveiguy]

2.067.1 does not fail, 2.068.0 does, and the head revision does not fail. So this was a regression, and seems to have been fixed.

[schveiguy]

This might have been fixed via #3669.

Yes, I think that was it. Because prior to that, there was a call to uniform, which calls enforce, which can throw.

[schveiguy]

Hm.. interestingly, the code hadn't changed since 2.067.1 to 2.068.0, but did not fail in the prior version. Weird. So many different players here, perhaps it was a change in Array? In any case, all is well now.