Struct Conformance 

pub struct Conformance {
    pub trait_name: String,
    pub type_name: String,
    pub trait_module: String,
    pub type_module: String,
    pub methods: BTreeSet<String>,
    pub span: Span,
}

One impl Trait for Type block: the fact that type_name conforms to trait_name, and how.

Conformance is explicit, so this is the complete set of implementors a trait has, which is what makes a bound checkable and a dyn Trait value’s implementation findable.

Fields

trait_name: String

type_name: String

trait_module: String

The module that declares the trait, and the module that declares the type. Either may be this module or one it imports from — the orphan rule only requires that one of them is this module — so a conformance names both parties by the module they belong to.

type_module: String

methods: BTreeSet<String>

Every method the conformance supplies, whether written in the block or inherited from the trait’s default body.

span: Span

The impl Trait for Type header, for a diagnostic to point at.

Trait Implementations

impl Clone for Conformance

fn clone(&self) -> Conformance

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Conformance

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

Formats the value using the given formatter.