Cannot use auto return while using class invariants

simendsjo simendsjo at gmail.com
Fri Oct 21 18:24:54 PDT 2011


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.


More information about the Digitalmars-d-learn mailing list