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
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)
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§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 8 bytes
Size for each variant:
Ty
: 6 bytesParam
: 6 bytes