Trait EncodableWithShorthand 

pub trait EncodableWithShorthand<'tcx, E: TyEncoder<'tcx>>:
    Copy
    + Eq
    + Hash {
    type Variant: Encodable<E>;

    // Required method
    fn variant(&self) -> &Self::Variant;
}

Required Associated Types

type Variant: Encodable<E>

Required Methods

fn variant(&self) -> &Self::Variant

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'tcx, E: TyEncoder<'tcx>> EncodableWithShorthand<'tcx, E> for PredicateKind<'tcx>

type Variant = PredicateKind<TyCtxt<'tcx>>

impl<'tcx, E: TyEncoder<'tcx>> EncodableWithShorthand<'tcx, E> for Ty<'tcx>

type Variant = TyKind<TyCtxt<'tcx>>