Struct Instantiation 

pub struct Instantiation {
    pub anchor: Anchor,
    pub definition: String,
    pub definition_end_line: Option<u32>,
    pub artifact_match_key: Option<String>,
    pub instantiation_key: String,
    pub arguments: Vec<u32>,
}

Where an instantiated body came from.

Fields

anchor: Anchor

Where the instantiated code sits.

definition: String

The generic or template it was instantiated from.

definition_end_line: Option<u32>

One-based final line of the generic or template definition when the compiler reported a complete source range.

This is a source anchor used to contain nested members of a class template during artifact correlation. It is not an identity.

artifact_match_key: Option<String>

Optional compiler-produced spelling used only to correlate a source specialization with a demangled artifact symbol.

This is comparison evidence, not a stable identity or a replacement for Self::definition or Self::instantiation_key.

instantiation_key: String

What groups every instantiation of that definition together.

Two bodies with the same key are the same source text with different substitutions — one thing written once, not two things that agree.

arguments: Vec<u32>

The type arguments substituted, as indices into CompilerIr::types.

Trait Implementations

impl Clone for Instantiation

fn clone(&self) -> Instantiation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Instantiation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Instantiation

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Instantiation

impl PartialEq for Instantiation

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Instantiation

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Instantiation