Struct EtaUnificationHint 

pub struct EtaUnificationHint {
    pub lhs_id: u64,
    pub rhs_id: u64,
    pub suggested_struct: String,
}

A struct-eta unification hint: suggests which struct to eta-expand to unify.

Fields

lhs_id: u64

rhs_id: u64

suggested_struct: String

Implementations

impl EtaUnificationHint

pub fn new( lhs_id: u64, rhs_id: u64, suggested_struct: impl Into<String>, ) -> Self

Create a new hint.

Trait Implementations

impl Clone for EtaUnificationHint

fn clone(&self) -> EtaUnificationHint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EtaUnificationHint

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

Formats the value using the given formatter.