About orphans, the underlying Sequence.t used is not domain-safe. Even if a parallel insertion is forbidden due to Miou's rules, the ability to insert a bad promise into the orphansSequence.t can lead to an undefined behavior: so we should protect orphans against a bad use. Spotted by @polytypic.
dinosaure
commented
3 months ago
About
orphans, the underlyingSequence.tused is not domain-safe. Even if a parallel insertion is forbidden due to Miou's rules, the ability to insert a bad promise into theorphansSequence.tcan lead to an undefined behavior: so we should protectorphansagainst a bad use. Spotted by @polytypic.