[Issue 6930] combined type of immutable(T) and inout(T) should be inout(const(T))

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=6930



--- Comment #8 from timon.gehr at gmx.ch 2011-11-10 12:39:59 PST ---
(In reply to comment #6)
> I think this issue is an enhancement.

I strongly disagree. What qualifies it as an enhancement for you?

> 
> With current dmd implementation, the result type of an inout function has
> *always* four possibilities, they are mutable, const, and immutable, and inout.
> 
> The implementation of this enhancement will restrict the possibilities.
> 
> inout(const(T)) foo(...) { ... }
> // can return only const(T), immutable(T), or inout(const(T)).
> 
> It seems to be usable a little, but I'm not seeing a use case of that.

I am not saying that this has an enormous priority, but it definitely is a bug
in my eyes. The inout qualifier has failed if there are cases where it could
work but does not.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------