Issue 11317 - glue.c:1218: virtual unsigned int Type::totym(): Assertion `0' failed.

[yebblies]

The result of inferring auto-refness is discarded, it should be retained and used by the glue layer when deciding whether to take the address of the expression or not.

https://d.puremagic.com/issues/show_bug.cgi?id=11317

[9rnsr]

This is not good fix. The root cause is that currently return type inference and ref-ness deduction are not correctly separated. For example, following code should be rejected in front-end.

void main() {
    auto ref uint fun() {
        return 0;
    }
    void test(ref uint x) {}
    test(fun());
}

[yebblies]

Haha thanks, I just realized this while looking at https://d.puremagic.com/issues/show_bug.cgi?id=11322

As far as I can tell, the function type's isref is being rewritten somewhere else... this obviously isn't good.

[9rnsr]

I opened #2766.