Trait hax_frontend_exporter::TyCtxtExtPredOrAbove

pub trait TyCtxtExtPredOrAbove<'tcx> {
    // Required methods
    fn predicates_defined_on_or_above(
        self,
        _: DefId,
    ) -> Vec<AnnotatedPredicate<'tcx>>;
    fn annotated_predicates_of(
        self,
        _: DefId,
    ) -> (impl Iterator<Item = AnnotatedPredicate<'tcx>>, Option<DefId>);
}

Required Methods

fn predicates_defined_on_or_above( self, _: DefId, ) -> Vec<AnnotatedPredicate<'tcx>>

fn annotated_predicates_of( self, _: DefId, ) -> (impl Iterator<Item = AnnotatedPredicate<'tcx>>, Option<DefId>)

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'tcx> TyCtxtExtPredOrAbove<'tcx> for TyCtxt<'tcx>

fn predicates_defined_on_or_above( self, did: DefId, ) -> Vec<AnnotatedPredicate<'tcx>>

Just like TyCtxt::predicates_defined_on, but in the case of a trait or impl item, also includes the predicates defined on the parent.

fn annotated_predicates_of( self, did: DefId, ) -> (impl Iterator<Item = AnnotatedPredicate<'tcx>>, Option<DefId>)

Implementors