Struct ConstArg

Source

pub struct ConstArg<'hir> {
    pub hir_id: HirId,
    pub kind: ConstArgKind<'hir>,
}

Expand description

A constant that enters the type system, used for arguments to const generics (e.g. array lengths).

These are distinct from AnonConst as anon consts in the type system are not allowed to use any generic parameters, therefore we must represent N differently. Additionally future designs for supporting generic parameters in const arguments will likely not use an anon const based design.

So, ConstArg (specifically, ConstArgKind) distinguishes between const args that are just paths (currently just bare const params) versus const args that are literals or have arbitrary computations (e.g., { 1 + 3 }).

Fields§

§hir_id: HirId§kind: ConstArgKind<'hir>

Struct ConstArgCopy item path

Fields§

Implementations§

impl<'hir> ConstArg<'hir>

pub fn anon_const_hir_id(&self) -> Option<HirId>

pub fn span(&self) -> Span

Trait Implementations§

impl<'hir> Clone for ConstArg<'hir>

fn clone(&self) -> ConstArg<'hir>

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

impl<'hir> Debug for ConstArg<'hir>

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

impl<'hir> From<&'hir ConstArg<'hir>> for Term<'hir>

fn from(c: &'hir ConstArg<'hir>) -> Self

impl<'hir, __CTX> HashStable<__CTX> for ConstArg<'hir>where __CTX: HashStableContext,

fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)

impl<'hir> Copy for ConstArg<'hir>

Auto Trait Implementations§

impl<'hir> DynSend for ConstArg<'hir>

impl<'hir> DynSync for ConstArg<'hir>

impl<'hir> Freeze for ConstArg<'hir>

impl<'hir> RefUnwindSafe for ConstArg<'hir>

impl<'hir> Send for ConstArg<'hir>

impl<'hir> Sync for ConstArg<'hir>

impl<'hir> Unpin for ConstArg<'hir>

impl<'hir> UnwindSafe for ConstArg<'hir>

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,

fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut T

fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'tcx mut [T]

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dst: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize = _

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

impl<'a, T> Captures<'a> for Twhere T: ?Sized,

Layout§

Struct ConstArg

impl<'hir, CTX> HashStable<CTX> for ConstArg<'hir>
where __CTX: HashStableContext,

fn hash_stable(&self, hcx: &mut CTX, __hasher: &mut StableHasher)

impl<T> Any for T
where T: 'static + ?Sized,

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T
where T: Copy,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

impl<'a, T> Captures<'a> for T
where T: ?Sized,