Trait rustc_middle::ty::codec::EncodableWithShorthand

pub trait EncodableWithShorthand<'tcx, E: TyEncoder<'tcx>>: Copy + Eq + Hash {
    type Variant: Encodable<E>;
    fn variant(&self) -> &Self::Variant;
}

Associated Types

type Variant: Encodable<E>

Required methods

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

Implementors

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

type Variant = PredicateKind<'tcx>

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

type Variant = TyKind<'tcx>