Searched defs:PolyProjectionPredicate (Results 1 – 1 of 1) sorted by relevance
1197 pub type PolyProjectionPredicate<'tcx> = Binder<'tcx, ProjectionPredicate<'tcx>>; typedef1199 impl<'tcx> PolyProjectionPredicate<'tcx> { implementation1396 impl<'tcx> ToPredicate<'tcx> for PolyProjectionPredicate<'tcx> { implementation1402 impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicate<'tcx> { implementation