CoercePredicate in rustc_middle::ty::predicate - Rust
Description: API documentation for the Rust `CoercePredicate` type in crate `rustc_middle`.

Skip to main content

## CoercePredicate

# Type Alias CoercePredicate

Source

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

## Aliased Type§

    pub 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<P> for CoercePredicate<'tcx>

Source§

#### fn print(&self, p: &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