Struct BindingTypeSlot 

pub struct BindingTypeSlot {
    pub name: String,
    pub type_expr: TypeExpr,
    pub nominal_type_names: Vec<String>,
}

One annotated let / const binding site of a chunk.

The counterpart of ParamSlot for the other binding site a declared type can appear at. Op::AssertBindingType indexes this table and validates the initializer against type_expr through the same type_contract::matches_type matcher that validates arguments against a parameter’s declared type, so an annotation means one thing everywhere.

nominal_type_names is narrowed at compile time to the struct and enum names actually mentioned by type_expr. The matcher treats every other named type as unconstrained, which is what keeps aliases, interfaces, and generic type parameters permissive here exactly as they are on parameters.

Fields

name: String

type_expr: TypeExpr

nominal_type_names: Vec<String>

Trait Implementations

impl Clone for BindingTypeSlot

fn clone(&self) -> BindingTypeSlot

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BindingTypeSlot

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BindingTypeSlot

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for BindingTypeSlot

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

where __S: Serializer,

Serialize this value into the given Serde serializer.