Struct SemanticType 

pub struct SemanticType<'a> {
    pub subject: SemanticSubject<'a>,
    pub ty: Option<TypeInst>,
}

Fields

subject: SemanticSubject<'a>

ty: Option<TypeInst>

None means the producer has no fact for this exact subject.

Trait Implementations

impl<'a> Clone for SemanticType<'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 SemanticType<'a>

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

Formats the value using the given formatter.