S0080: effect wrapper body is empty

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

Explanation

An effect wrapper must expand to at least one concrete effect call. Empty wrappers would look effectful at the call site while producing no Fire-phase work, which makes resource analysis and program intent unclear.

Common causes

• defining an effect wrapper whose body is a pure expression
• leaving a wrapper body blank while sketching an API
• using a wrapper where a pure helper function was intended

Canonical fixes

• put an effect call in the wrapper body

Before:

effect log!(msg: String) = msg

After:

effect log!(msg: String) = print!(msg)

• use a pure function when no effect should happen

Code example

effect log!(msg: String) = msg

Links

• RellC diagnostic overview