Struct rustc::ty::maps::queries::predicates
[−]
[src]
pub struct predicates<'tcx> { /* fields omitted */ }
🔬 This is a nightly-only experimental API. (
rustc_private
)Methods
impl<'a, 'tcx, 'lcx> predicates<'tcx>
[src]
fn try_get(tcx: TyCtxt<'a, 'tcx, 'lcx>,
span: Span,
key: DefId)
-> Result<GenericPredicates<'tcx>, CycleError<'a>>
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>
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>
[src]
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
)