http://d.puremagic.com/issues/show_bug.cgi?id=3010
--- Comment #1 from Don <[email protected]> 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 && !next->isInvariant()) { 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: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
