impl<'tcx, E: TyEncoder<'tcx>> EncodableWithShorthand<'tcx, E> for Predicate<'tcx>[src]type Variant = PredicateKind<'tcx>pub fn variant(&self) -> &Self::Variant[src]impl<'tcx, E: TyEncoder<'tcx>> EncodableWithShorthand<'tcx, E> for Ty<'tcx>[src]