Struct IrCoerce 

pub struct IrCoerce {
    pub name: String,
    pub span: SourceSpan,
    pub params: Vec<IrParam>,
    pub output: IrType,
    pub body: String,
    pub provider: Option<String>,
}

Fields

name: String

span: SourceSpan

Where the declaration sits, so a diagnostic about the endpoint this coerce reaches can point at its provider clause (DR-0062), the same way an agent’s does. Not part of the .ir snapshot.

params: Vec<IrParam>

output: IrType

body: String

provider: Option<String>

The backend named by the declaration’s provider <name> clause, surfaced so information-flow analysis can treat THIS endpoint as the principal a coerce egresses to (DR-0062). None when the declaration names none — the backend is then whatever the selection ladder resolves at runtime, so there is no static endpoint identity to govern by.

Not part of the .ir snapshot: like IrEffectNode::agent, this is analysis-facing metadata, not lowered program shape.

Trait Implementations

impl Clone for IrCoerce

fn clone(&self) -> IrCoerce

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for IrCoerce

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for IrCoerce

impl PartialEq for IrCoerce

fn eq(&self, other: &IrCoerce) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for IrCoerce