Type Definition rustc_infer::traits::PredicateObligation[][src]

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

Implementations

Flips the polarity of the inner predicate.

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