www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.learn - Cannot use auto return while using class invariants

reply simendsjo <simendsjo gmail.com> writes:
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
Oct 21 2011
parent reply "Jonathan M Davis" <jmdavisProg gmx.com> writes:
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
Oct 21 2011
parent simendsjo <simendsjo gmail.com> writes:
On 22.10.2011 02:06, Jonathan M Davis wrote:

 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


Thanks. Doesn't look like it will be fixed for a while.
Oct 21 2011