S0082: unknown effect in wrapper body
Generated from rellum-diagnostics/src/db.rs.
Explanation
Effect wrappers can expand only to built-in effects or other wrappers already known to the analyzer. An unknown effect name cannot be categorized for resource conflict analysis or lowered to a runtime call.
Common causes
- misspelling a built-in effect name
- calling a wrapper before it is defined or imported
- using a pure function name with ! syntax
Canonical fixes
- use a known built-in effect or wrapper name
Before:
effect log!(msg: String) = pritn!(msg)After:
effect log!(msg: String) = print!(msg)- define the wrapper being called
Code example
effect log!(msg: String) = pritn!(msg)