Bug 1251 – Final template class w/ constructor and invariant causes compile error

The following code: final class Foo() { this() {} invariant {} } alias Foo!() Bar; Provokes this error message: Error: cannot modify final variable '__result' It compiles without issue if I remove the final attribute, the constructor, the invariant, make Foo a non-template class, or use the full template syntax instead of the class template shortcut.

Added to DStress as http://dstress.kuehne.cn/run/f/final_13_A.d http://dstress.kuehne.cn/run/f/final_13_B.d http://dstress.kuehne.cn/run/f/final_13_C.d http://dstress.kuehne.cn/run/f/final_13_D.d

I also hit this problem with v2.011 (with const). .... __result cannot modify const We should fix this.

I hit this bug again, so I raise the priority. I spent hours debugging a problem which should have been caught by an invariant vilation, but it's commentted out because of this bug. Class invariant is a hallmark of DbC, we should fix this asap.

I can't get this to fail. It's most likely been fixed sometime in the last four years. Probably in the fixes for similar problems with out contracts.