Struct NamedTypeId 

pub struct NamedTypeId<Id> {
    pub layout: Id,
    pub name: Option<Arc<str>>,
}

v0.3 WS-6 — the source-level type name carried alongside a ConcreteType::Struct / ConcreteType::Enum.

A struct’s / enum’s type identity is its name, not its layout id (the StructLayoutId / EnumLayoutId carriers are placeholders today — the schema-aware layout registry is a tracked follow-up). The monomorphizer uses this name for two load-bearing purposes:

1. The specialization cache key (ConcreteType::mono_key) — so id<T>(P{..}) and id<T>(Q{..}) produce distinct specializations.
2. The substituted parameter / return annotation (concrete_to_annotation) — so the specialized body type-checks against the real user type rather than a synthetic placeholder.

None is the legacy/placeholder spelling: a struct/enum ConcreteType produced by a path that does not yet thread the name (e.g. the JIT-side MIR-shape inference at helpers.rs). Name-aware producers (the monomorphization call-site resolver) always populate it.

Fields

layout: Id

Layout-registry id (placeholder 0 until the schema-aware layout registry lands).

name: Option<Arc<str>>

Source-level type name, when the producing site could thread it.

Implementations

impl<Id> NamedTypeId<Id>

pub fn named(layout: Id, name: impl Into<Arc<str>>) -> Self

A named type id — the name is the load-bearing identity.

pub fn placeholder(layout: Id) -> Self

A placeholder type id — no name threaded (legacy producers).

pub fn name_str(&self) -> Option<&str>

The source-level name, if threaded.

Trait Implementations

impl<Id: Clone> Clone for NamedTypeId<Id>

fn clone(&self) -> NamedTypeId<Id>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Id: Debug> Debug for NamedTypeId<Id>

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

Formats the value using the given formatter.

impl<'de, Id> Deserialize<'de> for NamedTypeId<Id>

where Id: Deserialize<'de>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<Id: Hash> Hash for NamedTypeId<Id>

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<Id: PartialEq> PartialEq for NamedTypeId<Id>

fn eq(&self, other: &NamedTypeId<Id>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl<Id> Serialize for NamedTypeId<Id>

where Id: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<Id: Eq> Eq for NamedTypeId<Id>

impl<Id> StructuralPartialEq for NamedTypeId<Id>