Struct TypeParam

pub struct TypeParam {
    pub ident: Loc<Identifier>,
    pub name_id: NameID,
    pub trait_bounds: Vec<Loc<TraitSpec>>,
    pub meta: MetaType,
}

Type params have both an identifier and a NameID since they go through the ast lowering process in a few separate steps, and the identifier needs to be re-added to the symtab multiple times

Fields

ident: Loc<Identifier>

name_id: NameID

trait_bounds: Vec<Loc<TraitSpec>>

meta: MetaType

Implementations

impl TypeParam

pub fn name_id(&self) -> NameID

Trait Implementations

impl Clone for TypeParam

fn clone(&self) -> TypeParam

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeParam

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeParam

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for TypeParam

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 PartialEq for TypeParam

fn eq(&self, other: &TypeParam) -> 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 PrettyDebug for TypeParam

fn pretty_debug(&self) -> String

impl PrettyPrint for TypeParam

fn pretty_print(&self) -> String

impl Serialize for TypeParam

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl WithLocation for TypeParam

fn at(self, file_id: usize, span: &impl HasCodespan) -> Loc<Self>

where Self: Sized,

fn at_loc<T>(self, loc: &Loc<T>) -> Loc<Self>

Creates a new Loc from another Loc

fn between( self, file_id: usize, start: &impl HasCodespan, end: &impl HasCodespan, ) -> Loc<Self>

fn between_locs<T, Y>(self, start: &Loc<T>, end: &Loc<Y>) -> Loc<Self>

fn nowhere(self) -> Loc<Self>

where Self: Sized,

impl Eq for TypeParam

impl StructuralPartialEq for TypeParam