Trait rustc_middle::ty::ToPredicate
source · pub trait ToPredicate<'tcx, P = Predicate<'tcx>> {
// Required method
fn to_predicate(self, tcx: TyCtxt<'tcx>) -> P;
}
pub trait ToPredicate<'tcx, P = Predicate<'tcx>> {
// Required method
fn to_predicate(self, tcx: TyCtxt<'tcx>) -> P;
}