Struct InferredSig 

pub struct InferredSig {
    pub params: Vec<Ty>,
    pub return_ty: Ty,
}

A def’s inferred signature: positional param types (declaration order) plus a return type. The generalized, per-def result of a body’s fixpoint solve — what a caller reads (never the caller reading the callee’s body directly; that’s the firewall).

Fields

params: Vec<Ty>

return_ty: Ty

Trait Implementations

impl Clone for InferredSig

fn clone(&self) -> InferredSig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferredSig

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

Formats the value using the given formatter.

impl Default for InferredSig

fn default() -> InferredSig

Returns the “default value” for a type.

impl Eq for InferredSig

impl PartialEq for InferredSig

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InferredSig