Searched defs:ProjectionPredicate (Results 1 – 4 of 4) sorted by relevance
90 impl<'tcx> assembly::GoalKind<'tcx> for ProjectionPredicate<'tcx> { implementation
1174 pub struct ProjectionPredicate<'tcx> { struct1179 impl<'tcx> ProjectionPredicate<'tcx> { impl
856 impl<'tcx> Relate<'tcx> for ty::ProjectionPredicate<'tcx> { implementation
163 impl<'tcx> fmt::Debug for ty::ProjectionPredicate<'tcx> { implementation