Struct hir_def::InTypeConstId

pub struct InTypeConstId(/* private fields */);

A constant in a type as a substitution for const generics (like Foo<{ 2 + 2 }>) or as an array length (like [u8; 2 + 2]). These constants are body owner and are a variant of DefWithBodyId. These are not called AnonymousConstId to prevent confusion with ConstBlockId.

Implementations

impl InTypeConstId

pub fn source(&self, db: &dyn DefDatabase) -> ConstArg

Trait Implementations

impl Clone for InTypeConstId

fn clone(&self) -> InTypeConstId

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for InTypeConstId

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

Formats the value using the given formatter.

impl From<InTypeConstId> for DefWithBodyId

fn from(it: InTypeConstId) -> DefWithBodyId

Converts to this type from the input type.

impl From<InTypeConstId> for GeneralConstId

fn from(it: InTypeConstId) -> GeneralConstId

Converts to this type from the input type.

impl From<InTypeConstId> for TypeOwnerId

fn from(it: InTypeConstId) -> TypeOwnerId

Converts to this type from the input type.

impl Hash for InTypeConstId

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 InternKey for InTypeConstId

fn from_intern_id(v: InternId) -> Self

Create an instance of the intern-key from a u32 value.

fn as_intern_id(&self) -> InternId

Extract the u32 with which the intern-key was created.

impl Lookup for InTypeConstId

type Database<'db> = dyn DefDatabase + 'db

type Data = InTypeConstLoc

fn lookup(&self, db: &Self::Database<'_>) -> InTypeConstLoc

impl PartialEq for InTypeConstId

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

impl Eq for InTypeConstId

impl StructuralPartialEq for InTypeConstId