## SubtypePredicate

# Type Alias SubtypePredicate

Source

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

## Aliased Type§

    pub struct SubtypePredicate<'tcx> {
        pub a_is_expected: bool,
        pub a: Ty<'tcx>,
        pub b: Ty<'tcx>,
    }

## Fields§

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

## Trait Implementations§

Source§

### impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for SubtypePredicate<'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: 24 bytes