Trait rustc::traits::ExClauseLift[][src]

pub trait ExClauseLift<'tcx> where
    Self: Context + Clone
{ type LiftedExClause: Debug + 'tcx; fn lift_ex_clause_to_tcx<'a, 'gcx>(
        ex_clause: &ExClause<Self>,
        tcx: TyCtxt<'a, 'gcx, 'tcx>
    ) -> Option<Self::LiftedExClause>; }
🔬 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?

Associated Types

🔬 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

🔬 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