Enum TypeLongId 

pub enum TypeLongId<'db> {
    Concrete(ConcreteTypeId<'db>),
    Tuple(Vec<TypeId<'db>>),
    Snapshot(TypeId<'db>),
    GenericParameter(GenericParamId<'db>),
    Var(TypeVar<'db>),
    Coupon(FunctionId<'db>),
    FixedSizeArray {
        type_id: TypeId<'db>,
        size: ConstValueId<'db>,
    },
    ImplType(ImplTypeId<'db>),
    Closure(ClosureTypeLongId<'db>),
    Missing(DiagnosticAdded),
}

Variants

Concrete(ConcreteTypeId<'db>)

Tuple(Vec<TypeId<'db>>)

Some expressions might have invalid types during processing, either due to errors or during inference.

Snapshot(TypeId<'db>)

GenericParameter(GenericParamId<'db>)

Var(TypeVar<'db>)

Coupon(FunctionId<'db>)

FixedSizeArray

Fields

type_id: TypeId<'db>

size: ConstValueId<'db>

ImplType(ImplTypeId<'db>)

Closure(ClosureTypeLongId<'db>)

Missing(DiagnosticAdded)

Implementations

impl<'db> TypeLongId<'db>

pub fn format(&self, db: &dyn Database) -> String

pub fn head(&self, db: &'db dyn Database) -> Option<TypeHead<'db>>

Returns the TypeHead for a type if available.

pub fn is_phantom(&self, db: &dyn Database) -> bool

Returns whether the type is phantom. Type is considered phantom if it has the #[phantom] attribute, (or an other attribute declared by a plugin as defining a phantom type), or is a tuple or fixed sized array containing it.

pub fn module_id(&self, db: &'db dyn Database) -> Option<ModuleId<'db>>

Returns the module id of the given type if applicable.

Trait Implementations

impl<'db> Clone for TypeLongId<'db>

fn clone(&self) -> TypeLongId<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for TypeLongId<'db>

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

Formats the value using the given formatter.

impl<'db> DebugWithDb<'db> for TypeLongId<'db>

type Db = dyn Database

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

fn debug<'me>(&'me self, db: &'db Self::Db) -> DebugWith<'me, 'db, Self::Db>

where Self: Sized + 'me,

fn into_debug<'me>(self, db: &'db Self::Db) -> DebugWith<'me, 'db, Self::Db>

where Self: Sized + 'me,

impl<'db> Hash for TypeLongId<'db>

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<'db> Intern<'db, TypeId<'db>> for TypeLongId<'db>

fn intern(self, db: &'db dyn Database) -> TypeId<'db>

impl<'db> OptionFrom<TypeLongId<'db>> for ConcreteTypeId<'db>

fn option_from(other: TypeLongId<'db>) -> Option<Self>

impl<'db> PartialEq for TypeLongId<'db>

fn eq(&self, other: &TypeLongId<'db>) -> 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<'db, T: SemanticRewriter<ConcreteTypeId<'db>, Error> + SemanticRewriter<Vec<TypeId<'db>>, Error> + SemanticRewriter<TypeId<'db>, Error> + SemanticRewriter<GenericParamId<'db>, Error> + SemanticRewriter<TypeVar<'db>, Error> + SemanticRewriter<FunctionId<'db>, Error> + SemanticRewriter<ConstValueId<'db>, Error> + SemanticRewriter<ImplTypeId<'db>, Error> + SemanticRewriter<ClosureTypeLongId<'db>, Error>, Error> SemanticObject<T, Error> for TypeLongId<'db>

fn default_rewrite(&mut self, rewriter: &mut T) -> Result<RewriteResult, Error>

impl<'db> SemanticRewriter<TypeLongId<'db>, DiagnosticAdded> for SubstitutionRewriter<'db, '_>

fn internal_rewrite( &mut self, value: &mut TypeLongId<'db>, ) -> Maybe<RewriteResult>

fn rewrite(&mut self, value: T) -> Result<T, Error>

impl<'db, 'mt> SemanticRewriter<TypeLongId<'db>, NoError> for Inference<'db, 'mt>

fn internal_rewrite( &mut self, value: &mut TypeLongId<'db>, ) -> Result<RewriteResult, NoError>

fn rewrite(&mut self, value: T) -> Result<T, Error>

impl<'db> Eq for TypeLongId<'db>

impl<'db> StructuralPartialEq for TypeLongId<'db>