Searched defs:PolyTraitPredicate (Results 1 – 2 of 2) sorted by relevance
867 pub type PolyTraitPredicate<'tcx> = ty::Binder<'tcx, TraitPredicate<'tcx>>; typedef915 impl<'tcx> PolyTraitPredicate<'tcx> { implementation1237 impl<'tcx> ToPolyTraitRef<'tcx> for PolyTraitPredicate<'tcx> { implementation1371 impl<'tcx> ToPredicate<'tcx> for PolyTraitPredicate<'tcx> { implementation1377 impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyTraitPredicate<'tcx> { implementation
2688 impl<'tcx> ty::PolyTraitPredicate<'tcx> { implementation