Struct rustc::infer::at::Trace [−][src]
pub struct Trace<'a, 'gcx: 'tcx, 'tcx: 'a> { at: At<'a, 'gcx, 'tcx>, a_is_expected: bool, trace: TypeTrace<'tcx>, }
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Fields
at: At<'a, 'gcx, 'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
a_is_expected: bool
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
trace: TypeTrace<'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Methods
impl<'a, 'gcx, 'tcx> Trace<'a, 'gcx, 'tcx>
[src]
impl<'a, 'gcx, 'tcx> Trace<'a, 'gcx, 'tcx>
pub fn sub<T>(self, a: &T, b: &T) -> InferResult<'tcx, ()> where
T: Relate<'tcx>,
[src]
pub fn sub<T>(self, a: &T, b: &T) -> InferResult<'tcx, ()> where
T: Relate<'tcx>,
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Make a <: b
where a
may or may not be expected (if
a_is_expected
is true, then a
is expected).
Make expected <: actual
pub fn eq<T>(self, a: &T, b: &T) -> InferResult<'tcx, ()> where
T: Relate<'tcx>,
[src]
pub fn eq<T>(self, a: &T, b: &T) -> InferResult<'tcx, ()> where
T: Relate<'tcx>,
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Make 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>,
[src]
pub fn lub<T>(self, a: &T, b: &T) -> InferResult<'tcx, T> where
T: Relate<'tcx>,
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
pub fn glb<T>(self, a: &T, b: &T) -> InferResult<'tcx, T> where
T: Relate<'tcx>,
[src]
pub fn glb<T>(self, a: &T, b: &T) -> InferResult<'tcx, T> where
T: Relate<'tcx>,
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?