correctness.mapping_overwritten

A warn rule, scope workflow. Two mappings in one map write the same path with nothing reading it in between.

Synopsis

$ orion-server clippy ./definitions
warn[correctness.mapping_overwritten] two mappings in one map write the same path with nothing reading it in between

Description

Two mappings of one map write the same path. Neither the mappings between them nor the second one reads it, or anything inside or above it. data.x = data.x + 1 is a pattern and stays silent.

Related

• Advisory checks: every rule, the levels, and where certainty comes from.
• orion-server clippy: the command, its flags and exit codes.
• Test workflows offline: running the rules against a set.
• Workflows: the step grammar the rule reads.

Last verified 14 September 2026