Enum rustc_middle::traits::WellFormedLoc[−][src]

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.

Tuple Fields of Ty

0: LocalDefId

Param

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)

Fields of Param

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’

Enum rustc_middle::traits::WellFormedLoc[−][src]

Variants

Tuple Fields of Ty

Fields of Param

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 = Self

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,

pub fn type_id(&self) -> TypeId

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

pub fn allocate_on(Self, &'a Arena<'tcx>) -> &'a mut T

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

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

pub fn borrow(&self) -> &T

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

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

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

pub default fn fingerprint_style() -> FingerprintStyle

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

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

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

impl<T> From<T> for T

pub fn from(t: T) -> T

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

pub fn into(self) -> U

impl<T> MaybeResult<T> for T

type Error = !

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

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

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

type Owned = T

pub fn to_owned(&self) -> T

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

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

type Error = Infallible

pub 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

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

impl<T> WithConstness for T

fn with_constness(self, constness: BoundConstness) -> ConstnessAnd<Self>

fn with_const_if_const(self) -> ConstnessAnd<Self>

fn without_const(self) -> ConstnessAnd<Self>

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

Layout

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, ()> for T where
T: Copy,

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

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,

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

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,