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]

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

🔬 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).

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

Trait Implementations

impl<'tcx> DepTrackingMapConfig for super_predicates<'tcx>
[src]

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

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

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