Type Definition rustc_infer::traits::PredicateObligation

pub type PredicateObligation<'tcx> = Obligation<'tcx, Predicate<'tcx>>;

Implementations

impl<'tcx> PredicateObligation<'tcx>

pub fn flip_polarity(
    &self,
    tcx: TyCtxt<'tcx>
) -> Option<PredicateObligation<'tcx>>

Flips the polarity of the inner predicate.

Given T: Trait predicate it returns T: !Trait and given T: !Trait returns T: Trait.