# Type Alias rustc_middle::ty::PolyCoercePredicate

source ·

    pub type PolyCoercePredicate<'tcx> = Binder<'tcx, CoercePredicate<'tcx>>;

## Aliased Type§

    struct PolyCoercePredicate<'tcx> {
        value: CoercePredicate<'tcx>,
        bound_vars: &'tcx List<BoundVariableKind>,
    }

## Fields§

§`value: CoercePredicate<'tcx>`§`bound_vars: &'tcx List<BoundVariableKind>`

## 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: 24 bytes