SIFR-PROTO-0006: Fixed Rust trait receiver convention is violated. - Sifr

SIFR-PROTO-0006 belongs to the Protocols diagnostic family. It means: fixed Rust trait receiver convention is violated.

Why It Happens

A value does not satisfy the structural protocol required by the operation, such as iteration, context management, or indexing.

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

Erroneous Code

class Point:
    x: int

    def __add__(self, other: Point) -> Point:
        return Point(self.x + other.x)

How To Fix It

Declare the receiver convention that the Rust trait requires. Arithmetic operators consume the receiver, so use own self.

Fixed Code

class Point:
    x: int

    def __add__(own self, other: Point) -> Point:
        return Point(self.x + other.x)

Details

Field	Value
Code	`SIFR-PROTO-0006`
Family	`PROTO`
Severity	Error
Stability	stable
Owner	`sifr_lowering::lower::method_receiver_analysis`
Representative fixture	`crates/sifr/tests/e2e/fail/operator_receiver_mutation_rejected.sifr`

See the Error Codes index for the complete catalog.