SIFR-OWN-0012: Non-share-safe value is wrapped in sync.Shared. - Sifr

SIFR-OWN-0012 belongs to the Ownership and borrowing diagnostic family. It means: non-share-safe value is wrapped in sync.Shared.

Why It Happens

The ownership model would be violated. Move values only once, keep borrows scoped, and cross task/channel/IPC boundaries only with owned values that satisfy the required safety traits.

Use sifr --explain SIFR-OWN-0012 locally to see the renderer’s exact message template and any machine-applicable suggestions for the compiler version you are running.

Erroneous Code

def consume(own values: list[int]) -> int:
    return len(values)

items: list[int] = [1, 2]
taken: int = consume(items)
count: int = len(items)

How To Fix It

Move ownership only after the last use, keep mutable borrows scoped, and send only owned sendable values across task or channel boundaries.

Fixed Code

def consume(own values: list[int]) -> int:
    return len(values)

items: list[int] = [1, 2]
count: int = len(items)
taken: int = consume(items)

Details

Field	Value
Code	`SIFR-OWN-0012`
Family	`OWN`
Severity	Error
Stability	stable
Owner	`sifr_lowering::lower`
Representative fixture	`crates/sifr/tests/e2e/fail/shared_mut_without_lock_rejected.sifr`

See the Error Codes index for the complete catalog.