On Friday, October 21, 2011 16:51 simendsjo wrote: > Is this a temporary restriction? > > class C { > invariant() { } > auto f() { > return 1; > } > } > > Error: function C.f post conditions are not supported if the return type > is inferred http://d.puremagic.com/issues/show_bug.cgi?id=5039