Struct rustc_infer::infer::at::Trace

pub struct Trace<'a, 'tcx> {
    at: At<'a, 'tcx>,
    a_is_expected: bool,
    trace: TypeTrace<'tcx>,
}

Fields

at: At<'a, 'tcx>

a_is_expected: bool

trace: TypeTrace<'tcx>

Implementations

impl<'a, 'tcx> Trace<'a, 'tcx>

pub fn sub<T>( self, define_opaque_types: DefineOpaqueTypes, 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).

pub fn eq<T>( self, define_opaque_types: DefineOpaqueTypes, 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, define_opaque_types: DefineOpaqueTypes, a: T, b: T ) -> InferResult<'tcx, T>where T: Relate<'tcx>,

pub fn glb<T>( self, define_opaque_types: DefineOpaqueTypes, a: T, b: T ) -> InferResult<'tcx, T>where T: Relate<'tcx>,

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: 120 bytes