Struct cairo_lang_semantic::expr::inference::canonic::CanonicalTrait

pub struct CanonicalTrait(pub ConcreteTraitId);

A canonical representation of a concrete trait that needs to be solved.

Tuple Fields

0: ConcreteTraitId

Implementations

impl CanonicalTrait

pub fn canonicalize( db: &dyn SemanticGroup, trait_id: ConcreteTraitId ) -> (Self, CanonicalMapping)

Canonicalizes a concrete trait that is part of an Inference.

pub fn embed( &self, inference: &mut Inference<'_> ) -> (ConcreteTraitId, CanonicalMapping)

Embeds a canonical trait into an Inference.

Trait Implementations

impl Clone for CanonicalTrait

fn clone(&self) -> CanonicalTrait

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CanonicalTrait

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

Formats the value using the given formatter.

impl Hash for CanonicalTrait

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<CanonicalTrait> for CanonicalTrait

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for CanonicalTrait

impl Eq for CanonicalTrait

impl StructuralEq for CanonicalTrait

impl StructuralPartialEq for CanonicalTrait