Menu
Search

Forums

Forum Index

Thread overview
Cannot use auto return while using class invariants
Oct 21, 2011
simendsjo
Oct 22, 2011
Jonathan M Davis
Oct 22, 2011
simendsjo
October 21, 2011
Gravatar of simendsjoPosted by simendsjoReply
simendsjo
Gravatar of simendsjo


Reply
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
October 22, 2011
Gravatar of Jonathan M DavisPosted by Jonathan M Davis
in reply to simendsjo		Reply
Jonathan M Davis
Gravatar of Jonathan M Davis
Posted in reply to simendsjo


Reply
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
October 22, 2011
Gravatar of simendsjoPosted by simendsjo
in reply to Jonathan M Davis		Reply
simendsjo
Gravatar of simendsjo
Posted in reply to Jonathan M Davis


Reply
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.