S0081: invalid effect wrapper body

Generated from rellum-diagnostics/src/db.rs.

Explanation

Effect wrapper bodies are templates for Fire-phase effect calls. They may contain effect calls and -> sequencing only; pure computation belongs in arguments or in separate pure helpers.

Common causes

• using arithmetic, match, or a block as the wrapper body
• returning a pure value from an effect wrapper
• putting local computation directly in Fire-phase template position

Canonical fixes

• make the wrapper body an effect call

Before:

effect save!(path: String, value: String) = path + value

After:

effect save!(path: String, value: String) = write!(path, value)

• move pure computation into a helper used as an effect argument

Code example

effect save!(path: String, value: String) = path + value

Links

• RellC diagnostic overview