Struct SemanticInstantiation 

pub struct SemanticInstantiation<'a> {
    pub subject: SemanticSubject<'a>,
    pub instantiation: Instantiation,
    pub reason: Option<String>,
}

Fields

subject: SemanticSubject<'a>

instantiation: Instantiation

reason: Option<String>

Trait Implementations

impl<'a> Clone for SemanticInstantiation<'a>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for SemanticInstantiation<'a>

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

Formats the value using the given formatter.