rustc_middle::ty::codec

Trait EncodableWithShorthand

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

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

Required Associated Types§

Required Methods§

source

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

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§

source§

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

source§

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