Re: Weaken disjointness of range type? Marc Nieper-Wißkirchen 07 Sep 2020 06:18 UTC

Am Mo., 7. Sept. 2020 um 03:09 Uhr schrieb John Cowan <xxxxxx@ccil.org>:

> No.  But keeping ranges disjoint from any mutable type such as vectors ensures it.

I don't think keeping ranges disjoint from any (potentially) mutable
types really ensures it. A statement like "ranges are immutable"
wouldn't be affected if the types were disjoint or not disjoint, I
think.

> I have no intention of changing this.

Fair enough.