Enum rustc_middle::traits::WellFormedLoc

source · [−]

pub enum WellFormedLoc {
    Ty(LocalDefId),
    Param {
        function: LocalDefId,
        param_idx: u16,
    },
}

Expand description

The ‘location’ at which we try to perform HIR-based wf checking. This information is used to obtain an hir::Ty, which we can walk in order to obtain precise spans for any ‘nested’ types (e.g. Foo in Option<Foo>).

Variants

`Ty(LocalDefId)`

Use the type of the provided definition.

`Param`

Fields

function: LocalDefId

The function to lookup the parameter in

param_idx: u16

The index of the parameter to use. Parameters are indexed from 0, with the return type being the last ‘parameter’

Use the type of the parameter of the provided function. We cannot use hir::Param, since the function may not have a body (e.g. a trait method definition)

Enum rustc_middle::traits::WellFormedLoc

Variants

Ty(LocalDefId)

Param

Fields

Trait Implementations

impl Clone for WellFormedLoc

fn clone(&self) -> WellFormedLoc

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

impl Debug for WellFormedLoc

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

impl Hash for WellFormedLoc

fn hash<__H: Hasher>(&self, state: &mut __H)

fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher,

impl<'__ctx> HashStable<StableHashingContext<'__ctx>> for WellFormedLoc

fn hash_stable( &self, __hcx: &mut StableHashingContext<'__ctx>, __hasher: &mut StableHasher)

impl<'tcx> Lift<'tcx> for WellFormedLoc

type Lifted = WellFormedLoc

fn lift_to_tcx(self, _: TyCtxt<'tcx>) -> Option<Self>

impl PartialEq<WellFormedLoc> for WellFormedLoc

fn eq(&self, other: &WellFormedLoc) -> bool

fn ne(&self, other: &WellFormedLoc) -> bool

impl Copy for WellFormedLoc

impl Eq for WellFormedLoc

impl StructuralEq for WellFormedLoc

impl StructuralPartialEq for WellFormedLoc

Auto Trait Implementations

impl RefUnwindSafe for WellFormedLoc

impl Send for WellFormedLoc

impl Sync for WellFormedLoc

impl Unpin for WellFormedLoc

impl UnwindSafe for WellFormedLoc

Blanket Implementations

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

fn type_id(&self) -> TypeId

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

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

fn allocate_from_iter( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T>) -> &'a mut [T]ⓘNotable traits for &[u8]impl<'_> Read for &[u8]impl<'_> Write for &mut [u8]

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

fn borrow(&self) -> &T

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

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

impl<Ctxt, T> DepNodeParams<Ctxt> for T where Ctxt: DepContext, T: for<'a> HashStable<StableHashingContext<'a>> + Debug,

default fn fingerprint_style() -> FingerprintStyle

default fn to_fingerprint(&self, tcx: Ctxt) -> Fingerprint

default fn to_debug_str(&self, Ctxt) -> String

default fn recover(Ctxt, &DepNode<<Ctxt as DepContext>::DepKind>) -> Option<T>

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, R> InternIteratorElement<T, R> for T

type Output = R

fn intern_with<I, F>( iter: I, f: F) -> <T as InternIteratorElement<T, R>>::Output where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

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

fn into(self) -> U

impl<T> MaybeResult<T> for T

type Error = !

fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

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

type Owned = T

fn to_owned(&self) -> T

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

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

type Error = Infallible

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

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

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

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

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

Layout

`Ty(LocalDefId)`

`Param`

fn hash<H: Hasher>(&self, state: &mut H)

fn hash_slice<H>(data: &[Self], state: &mut H) where
H: Hasher,

impl<'ctx> HashStable<StableHashingContext<'ctx>> for WellFormedLoc

fn hash_stable(
&self,
hcx: &mut StableHashingContext<'ctx>,
__hasher: &mut StableHasher
)

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

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

fn allocate_from_iter(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = T>
) -> &'a mut [T]ⓘNotable traits for &[u8]`impl<'_> Read for &[u8]impl<'_> Write for &mut [u8]`

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

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

impl<Ctxt, T> DepNodeParams<Ctxt> for T where
Ctxt: DepContext,
T: for<'a> HashStable<StableHashingContext<'a>> + Debug,

fn intern_with<I, F>(
iter: I,
f: F
) -> <T as InternIteratorElement<T, R>>::Output where
I: Iterator<Item = T>,
F: FnOnce(&[T]) -> R,

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

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<'a, T> Captures<'a> for T where
T: ?Sized,