Struct rustc_middle::ty::InferVarInfo
source · pub struct InferVarInfo {
pub self_in_trait: bool,
pub output: bool,
}
Fields§
§self_in_trait: bool
This is true if we identified that this Ty (?T
) is found in a ?T: Foo
obligation, where:
Foo
is notSized
(): Foo
may be satisfied
output: bool
This is true if we identified that this Ty (?T
) is found in a <_ as _>::AssocType = ?T
Trait Implementations§
source§impl Clone for InferVarInfo
impl Clone for InferVarInfo
source§fn clone(&self) -> InferVarInfo
fn clone(&self) -> InferVarInfo
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for InferVarInfo
impl Debug for InferVarInfo
source§impl Default for InferVarInfo
impl Default for InferVarInfo
source§fn default() -> InferVarInfo
fn default() -> InferVarInfo
Returns the “default value” for a type. Read more
impl Copy for InferVarInfo
Auto Trait Implementations§
impl RefUnwindSafe for InferVarInfo
impl Send for InferVarInfo
impl Sync for InferVarInfo
impl Unpin for InferVarInfo
impl UnwindSafe for InferVarInfo
Blanket Implementations§
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,
fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]
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
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle: &[QueryInfo], _guar: ErrorGuaranteed ) -> T
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: 2 bytes