http://d.puremagic.com/issues/show_bug.cgi?id=1824 ------- Comment #5 from maxmo at pochta.ru 2009-02-03 06:22 ------- Additional note: many classes in object.di are declared with mutable members. Shouldn't ClassInfo, TypeInfo etc. be invariant? --