W0002: property_implication

W0002 property_implication — a slot property implies another that is missing.

A warning of soma check, the checker of the Soma programming language (soma explain W0002).

The rule

Some slot properties imply others: [immutable] implies consistent, and a cell property can declare implies [...]. When a slot has a property whose implied property is not written, soma check adds it automatically and prints a note such as "'immutable' on 'entries' implies 'consistent' (added automatically)". It is informational: the program passes, and writing the implied property on the slot makes the note go away.

When you see it

soma check prints this diagnostic as a note ("note: 'immutable' on 'entries' implies 'consistent' (added automatically)"), and notes carry no code: the human output has no = code: line and the --json "notes" entries have only "level" and "message". So no output of soma check ever shows W0002.