Skip to main content

lower_mutation_cache

Function lower_mutation_cache 

Source
pub fn lower_mutation_cache(
    program: &MutationProgram,
    visibility: &MutationCacheVisibility,
) -> Result<MutationCacheProgram, MutationProgramError>
Expand description

Lower a mutation program to role-safe cache effects.

Authorization and coverage gates are applied by the caller via visibility. When visibility rejects an operation, the narrowest invalidation is emitted instead of a concrete write.

§Errors

Returns validation failures for unsupported operation shapes.