--- Comment #1 from Don <>  2009-05-24 13:24:23 PDT ---
I making really slow progress on this, so am including a progress update.

In mtype.c, TypeNext::makeInvariant(), there's a line:

    if (ty != Tfunction && ty != Tdelegate && next->deco &&
    {    t->next = next->invariantOf();

But in the case where 'next' was created by auto type deduction, next->deco is
NULL, so next->invariantOf() never gets called, and we get a malformed
immutable type. I haven't yet worked out why next->deco is NULL when next is a
TypeFunction which was created through type inference. It could be  because it
began life as a TypeSymOff?

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to