Searched defs:TraitPredicate (Results 1 – 5 of 5) sorted by relevance
852 pub struct TraitPredicate<'tcx> { struct867 pub type PolyTraitPredicate<'tcx> = ty::Binder<'tcx, TraitPredicate<'tcx>>; argument869 impl<'tcx> TraitPredicate<'tcx> { implementation1324 impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for TraitPredicate<'tcx> { implementation1365 impl<'tcx> ToPredicate<'tcx, PolyTraitPredicate<'tcx>> for TraitPredicate<'tcx> { implementation1409 impl<'tcx> ToPredicate<'tcx> for TraitPredicate<'tcx> { implementation
828 impl<'tcx> Relate<'tcx> for ty::TraitPredicate<'tcx> { implementation
154 impl<'tcx> fmt::Debug for ty::TraitPredicate<'tcx> { implementation
16 impl<'tcx> assembly::GoalKind<'tcx> for TraitPredicate<'tcx> { implementation
2682 impl<'tcx> ty::TraitPredicate<'tcx> { implementation