Searched defs:ToPredicate (Results 1 – 1 of 1) sorted by relevance
| /third_party/rust/rust/compiler/rustc_middle/src/ty/ |
| D | mod.rs | 1243 pub trait ToPredicate<'tcx, P = Predicate<'tcx>> { trait
1288 impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for ClauseKind<'tcx> { impl
1295 impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for Binder<'tcx, ClauseKind<'tcx>> { impl
1309 impl<'tcx> ToPredicate<'tcx, TraitPredicate<'tcx>> for TraitRef<'tcx> { impl
1316 impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for TraitRef<'tcx> { impl
1324 impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for TraitPredicate<'tcx> { impl
1340 impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for Binder<'tcx, TraitRef<'tcx>> { impl
1348 impl<'tcx> ToPredicate<'tcx, PolyTraitPredicate<'tcx>> for Binder<'tcx, TraitRef<'tcx>> { impl
1359 impl<'tcx> ToPredicate<'tcx, PolyTraitPredicate<'tcx>> for TraitRef<'tcx> { impl
1365 impl<'tcx> ToPredicate<'tcx, PolyTraitPredicate<'tcx>> for TraitPredicate<'tcx> { impl
[all …]
|