https://issues.dlang.org/show_bug.cgi?id=13113
Walter Bright <bugzi...@digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bugzi...@digitalmars.com --- Comment #4 from Walter Bright <bugzi...@digitalmars.com> --- The trouble seems to be that destructors are getting their attributes inferred, while invariants are not. --