Struct rustc::ty::maps::queries::predicates

pub struct predicates<'tcx> { /* fields omitted */ }

🔬 This is a nightly-only experimental API. (rustc_private)

Methods

impl<'a, 'tcx, 'lcx> predicates<'tcx>

fn try_get(tcx: TyCtxt<'a, 'tcx, 'lcx>,
           span: Span,
           key: DefId)
           -> Result<GenericPredicates<'tcx>, CycleError<'a>>

🔬 This is a nightly-only experimental API. (rustc_private)

fn get(tcx: TyCtxt<'a, 'tcx, 'lcx>,
       span: Span,
       key: DefId)
       -> GenericPredicates<'tcx>

🔬 This is a nightly-only experimental API. (rustc_private)

fn force(tcx: TyCtxt<'a, 'tcx, 'lcx>, span: Span, key: DefId)

🔬 This is a nightly-only experimental API. (rustc_private)

Trait Implementations

impl<'tcx> DepTrackingMapConfig for predicates<'tcx>

type Key = DefId

🔬 This is a nightly-only experimental API. (rustc_private)

type Value = GenericPredicates<'tcx>

🔬 This is a nightly-only experimental API. (rustc_private)

fn to_dep_node(key: &DefId) -> DepNode<DefId>

🔬 This is a nightly-only experimental API. (rustc_private)