[][src]Type Definition rustc::traits::Goal

type Goal<'tcx> = &'tcx GoalKind<'tcx>;
⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Trait Implementations

impl<'tcx> Display for Goal<'tcx>[src]

impl<'a, 'tcx> Lift<'tcx> for Goal<'a>[src]

type Lifted = Goal<'tcx>

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

impl<'tcx> Relate<'tcx> for Goal<'tcx>[src]

impl<'tcx> TypeFoldable<'tcx> for Goal<'tcx>[src]