E4018: shared XOR mutable invariant

Documentation Index

Fetch the complete documentation index at: https://docs.brim-lang.com/llms.txt

Use this file to discover all available pages before exploring further.

​

What this means

​

Metadata

• Code: E4018
• Default level: Error
• Phase: Borrow Check
• Canonical docs URL: https://docs.brim-lang.com/diagnostics/E4018
• Tags: borrow, unsafe

​

How to fix

• unsafe proof obligation
• avoid aliasing mutable raw ptrs

​

Typical output

E4018: shared XOR mutable invariant
note: Unsafe code violates stacked borrows model assumptions