pub fn promote_purity(from: Purity, to: Purity) -> Purity
Expand description

Utility to find the union of purities. To ‘promote’ Reads to Writes we want ReadsWrites, and the same for Writes to Reads.