equivariant functions

[ore-sama]

Andrei Alexandrescu Wrote:

> Denis Koroskin wrote:
> > class Storage
> > {
> >    sameconst(Foo) foo() sameconst(this) // const, invariant or none
> >    {
> >         return _foo;
> >    }
> > 
> >    private Foo _foo;
> > }
> > 
> > Your version?
> 
> class Storage
> {
>      typeof(this._foo) foo() const { return _foo; }
> }
> 

In this example signature (interface) explicitly depends on private field (implementation). I just tried to imagine how to document its return type.