# Type Alias rustc_middle::ty::predicate::CoercePredicate

source ·

    pub type CoercePredicate<'tcx> = CoercePredicate<TyCtxt<'tcx>>;

## Aliased Type§

    struct CoercePredicate<'tcx> {
        pub a: Ty<'tcx>,
        pub b: Ty<'tcx>,
    }

## Fields§

§`a: Ty<'tcx>`§`b: Ty<'tcx>`

## Trait Implementations§

source§

### impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for CoercePredicate<'tcx>

source§

#### fn print(&self, cx: &mut P) -> Result<(), PrintError>

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