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

Skip to main content

## ProjectionPredicate

# Type Alias ProjectionPredicate

Source

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

## Aliased Type§

    pub struct ProjectionPredicate<'tcx> {
        pub projection_term: AliasTerm<TyCtxt<'tcx>>,
        pub term: Term<'tcx>,
    }

## Fields§

§`projection_term: AliasTerm<TyCtxt<'tcx>>`§`term: Term<'tcx>`

## Trait Implementations§

Source§

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