Struct rustc::ty::maps::queries::super_predicates
[−]
[src]
pub struct super_predicates<'tcx> { /* fields omitted */ }
🔬 This is a nightly-only experimental API. (
rustc_private
)Methods
impl<'a, 'tcx, 'lcx> super_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
)Maps from the def-id of a trait to the list of super-predicates. This is a subset of the full list of predicates. We store these in a separate map because we must evaluate them even during type conversion, often before the full predicates are available (note that supertraits have additional acyclicity requirements).
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 super_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
)