# Type Alias rustc_middle::ty::predicate::PolyTraitPredicate

source ·

    pub type PolyTraitPredicate<'tcx> = Binder<'tcx, TraitPredicate<'tcx>>;

## Aliased Type§

    struct PolyTraitPredicate<'tcx> { /* private fields */ }

## Trait Implementations§

source§

### impl<'tcx> PrintPolyTraitPredicateExt<'tcx> for PolyTraitPredicate<'tcx>

source§

#### fn print_modifiers_and_trait_path( self, ) -> Binder<'tcx, TraitPredPrintModifiersAndPath<'tcx>>

source§

### impl<'tcx> ToPolyTraitRef<'tcx> for PolyTraitPredicate<'tcx>

source§

#### fn to_poly_trait_ref(&self) -> PolyTraitRef<'tcx>

source§

### impl<'tcx> UpcastFrom<TyCtxt<'tcx>, Binder<TyCtxt<'tcx>, TraitRef<TyCtxt<'tcx>>>> for PolyTraitPredicate<'tcx>

source§

#### fn upcast_from(from: Binder<'tcx, TraitRef<'tcx>>, _tcx: TyCtxt<'tcx>) -> Self

## Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain `repr(...)` attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 32 bytes