[Issue 9724] Range predicates are not restrictive enough to justify assumptions made in Phobos code

[d-bugmail at puremagic.com]

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



--- Comment #2 from timon.gehr at gmx.ch 2013-03-15 04:54:07 PDT ---
(In reply to comment #1)
> Predicates? Did you mean "traits" or "restrictions" ?

They are predicates, mappings from types to bool.

>
> Either way, I don't think that's the problem, as TrollFace (and immutable
> TrollFace) are both 100% legit Ranges.
> 
> The problem lies in the implementation that attempts to be immutable aware, and
> tries to cast away immutability via copying. Which it can't.
> 
> The solution is to simply strip range of all its unqual code.

I think TrollierFace will still break many of them.

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