Function sway_core::language::promote_purity
source · 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.