Trait rustc::infer::at::ToTrace
[−]
[src]
pub trait ToTrace<'tcx>: Relate<'tcx> + Copy { fn to_trace(
cause: &ObligationCause<'tcx>,
a_is_expected: bool,
a: Self,
b: Self
) -> 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?
Required Methods
fn to_trace(
cause: &ObligationCause<'tcx>,
a_is_expected: bool,
a: Self,
b: Self
) -> TypeTrace<'tcx>
cause: &ObligationCause<'tcx>,
a_is_expected: bool,
a: Self,
b: Self
) -> 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?
Implementors
impl<'tcx> ToTrace<'tcx> for Ty<'tcx>
impl<'tcx> ToTrace<'tcx> for TraitRef<'tcx>
impl<'tcx> ToTrace<'tcx> for PolyTraitRef<'tcx>