Struct rustc_infer::infer::at::Trace
source · Fields
at: At<'a, 'tcx>
a_is_expected: bool
trace: TypeTrace<'tcx>
Implementations
sourceimpl<'a, 'tcx> Trace<'a, 'tcx>
impl<'a, 'tcx> Trace<'a, 'tcx>
sourcepub fn sub<T>(self, a: T, b: T) -> InferResult<'tcx, ()>where
T: Relate<'tcx>,
pub fn sub<T>(self, a: T, b: T) -> InferResult<'tcx, ()>where
T: Relate<'tcx>,
Makes a <: b
where a
may or may not be expected (if
a_is_expected
is true, then a
is expected).
sourcepub fn eq<T>(self, a: T, b: T) -> InferResult<'tcx, ()>where
T: Relate<'tcx>,
pub fn eq<T>(self, a: T, b: T) -> InferResult<'tcx, ()>where
T: Relate<'tcx>,
Makes a == b
; the expectation is set by the call to
trace()
.
pub fn lub<T>(self, a: T, b: T) -> InferResult<'tcx, T>where
T: Relate<'tcx>,
pub fn glb<T>(self, a: T, b: T) -> InferResult<'tcx, T>where
T: Relate<'tcx>,
Auto Trait Implementations
impl<'a, 'tcx> !RefUnwindSafe for Trace<'a, 'tcx>
impl<'a, 'tcx> !Send for Trace<'a, 'tcx>
impl<'a, 'tcx> !Sync for Trace<'a, 'tcx>
impl<'a, 'tcx> Unpin for Trace<'a, 'tcx>where
'tcx: 'a,
impl<'a, 'tcx> !UnwindSafe for Trace<'a, 'tcx>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
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: 112 bytes