Trait rustc::util::ppaux::ReprExperimental
[-]
[+]
[src]
pub trait Repr<'tcx>: ?Sized {
fn repr(&self, tcx: &ctxt<'tcx>) -> String;
}Produces a string suitable for debugging output.
Required Methods
Implementors
impl<'tcx> Repr<'tcx> for TransmuteRestriction<'tcx>impl<'tcx> Repr<'tcx> for Constraintimpl<'tcx> Repr<'tcx> for Verify<'tcx>impl<'tcx> Repr<'tcx> for VarValueimpl<'tcx, K: Repr<'tcx>, V: Repr<'tcx>> Repr<'tcx> for VarValue<K, V>impl<'tcx> Repr<'tcx> for TypeTrace<'tcx>impl<'tcx> Repr<'tcx> for TypeOriginimpl<'tcx> Repr<'tcx> for SubregionOrigin<'tcx>impl<'tcx> Repr<'tcx> for RegionVariableOrigin<'tcx>impl<'tcx> Repr<'tcx> for cmt_<'tcx>impl<'tcx> Repr<'tcx> for categorization<'tcx>impl<'tcx> Repr<'tcx> for InteriorKindimpl<'tcx> Repr<'tcx> for RegionObligation<'tcx>impl<'tcx, O: Repr<'tcx>> Repr<'tcx> for Obligation<'tcx, O>impl<'tcx, N: Repr<'tcx>> Repr<'tcx> for Vtable<'tcx, N>impl<'tcx, N: Repr<'tcx>> Repr<'tcx> for VtableImplData<'tcx, N>impl<'tcx, N: Repr<'tcx>> Repr<'tcx> for VtableBuiltinData<N>impl<'tcx> Repr<'tcx> for SelectionError<'tcx>impl<'tcx> Repr<'tcx> for FulfillmentError<'tcx>impl<'tcx> Repr<'tcx> for FulfillmentErrorCode<'tcx>impl<'tcx> Repr<'tcx> for MismatchedProjectionTypes<'tcx>impl<'tcx> Repr<'tcx> for type_err<'tcx>impl<'tcx> Repr<'tcx> for AutoAdjustment<'tcx>impl<'tcx> Repr<'tcx> for UnsizeKind<'tcx>impl<'tcx> Repr<'tcx> for AutoDerefRef<'tcx>impl<'tcx> Repr<'tcx> for AutoRef<'tcx>impl<'tcx> Repr<'tcx> for TyTrait<'tcx>impl<'tcx> Repr<'tcx> for Predicate<'tcx>impl<'tcx> Repr<'tcx> for vtable_origin<'tcx>impl<'tcx> Repr<'tcx> for ProjectionPredicate<'tcx>impl<'tcx, T: Repr<'tcx>> Repr<'tcx> for Option<T>impl<'tcx, T: Repr<'tcx>> Repr<'tcx> for P<T>impl<'tcx, T: Repr<'tcx>, U: Repr<'tcx>> Repr<'tcx> for Result<T, U>impl<'tcx> Repr<'tcx> for ()impl<'a, 'tcx, T: Repr<'tcx> + ?Sized> Repr<'tcx> for &'a Timpl<'tcx, T: Repr<'tcx>> Repr<'tcx> for Rc<T>impl<'tcx, T: Repr<'tcx>> Repr<'tcx> for Box<T>impl<'tcx, T: Repr<'tcx>> Repr<'tcx> for [T]impl<'tcx, T: Repr<'tcx>> Repr<'tcx> for OwnedSlice<T>impl<'tcx, T: Repr<'tcx>> Repr<'tcx> for Vec<T>impl<'tcx> Repr<'tcx> for Defimpl<'tcx> Repr<'tcx> for TypeParameterDef<'tcx>impl<'tcx> Repr<'tcx> for RegionParameterDefimpl<'tcx> Repr<'tcx> for TyS<'tcx>impl<'tcx> Repr<'tcx> for mt<'tcx>impl<'tcx> Repr<'tcx> for Substs<'tcx>impl<'tcx, T: Repr<'tcx>> Repr<'tcx> for VecPerParamSpace<T>impl<'tcx> Repr<'tcx> for ItemSubsts<'tcx>impl<'tcx> Repr<'tcx> for RegionSubstsimpl<'tcx> Repr<'tcx> for BuiltinBoundsimpl<'tcx> Repr<'tcx> for ExistentialBounds<'tcx>impl<'tcx> Repr<'tcx> for ParamBounds<'tcx>impl<'tcx> Repr<'tcx> for TraitRef<'tcx>impl<'tcx> Repr<'tcx> for TraitDef<'tcx>impl<'tcx> Repr<'tcx> for TraitItemimpl<'tcx> Repr<'tcx> for Exprimpl<'tcx> Repr<'tcx> for Pathimpl<'tcx> Repr<'tcx> for Tyimpl<'tcx> Repr<'tcx> for Itemimpl<'tcx> Repr<'tcx> for Lifetimeimpl<'tcx> Repr<'tcx> for Stmtimpl<'tcx> Repr<'tcx> for Patimpl<'tcx> Repr<'tcx> for BoundRegionimpl<'tcx> Repr<'tcx> for Regionimpl<'tcx> Repr<'tcx> for FreeRegionimpl<'tcx> Repr<'tcx> for DefIdimpl<'tcx> Repr<'tcx> for TypeScheme<'tcx>impl<'tcx> Repr<'tcx> for Generics<'tcx>impl<'tcx> Repr<'tcx> for GenericBounds<'tcx>impl<'tcx> Repr<'tcx> for ItemVariancesimpl<'tcx> Repr<'tcx> for Varianceimpl<'tcx> Repr<'tcx> for Method<'tcx>impl<'tcx> Repr<'tcx> for Nameimpl<'tcx> Repr<'tcx> for Identimpl<'tcx> Repr<'tcx> for ExplicitSelf_impl<'tcx> Repr<'tcx> for Visibilityimpl<'tcx> Repr<'tcx> for BareFnTy<'tcx>impl<'tcx> Repr<'tcx> for FnSig<'tcx>impl<'tcx> Repr<'tcx> for FnOutput<'tcx>impl<'tcx> Repr<'tcx> for MethodCallee<'tcx>impl<'tcx> Repr<'tcx> for MethodOrigin<'tcx>impl<'tcx> Repr<'tcx> for MethodParam<'tcx>impl<'tcx> Repr<'tcx> for MethodObject<'tcx>impl<'tcx> Repr<'tcx> for TraitStoreimpl<'tcx> Repr<'tcx> for BuiltinBoundimpl<'tcx> Repr<'tcx> for Spanimpl<'tcx> Repr<'tcx> for Abiimpl<'tcx> Repr<'tcx> for UpvarIdimpl<'tcx> Repr<'tcx> for Mutabilityimpl<'tcx> Repr<'tcx> for BorrowKindimpl<'tcx> Repr<'tcx> for UpvarBorrowimpl<'tcx> Repr<'tcx> for IntVidimpl<'tcx> Repr<'tcx> for FloatVidimpl<'tcx> Repr<'tcx> for RegionVidimpl<'tcx> Repr<'tcx> for TyVidimpl<'tcx> Repr<'tcx> for IntVarValueimpl<'tcx> Repr<'tcx> for IntTyimpl<'tcx> Repr<'tcx> for UintTyimpl<'tcx> Repr<'tcx> for FloatTyimpl<'tcx> Repr<'tcx> for ExplicitSelfCategoryimpl<'tcx> Repr<'tcx> for ParamTyimpl<'tcx, A: Repr<'tcx>, B: Repr<'tcx>> Repr<'tcx> for (A, B)impl<'tcx, T: Repr<'tcx>> Repr<'tcx> for Binder<T>impl<'tcx, S, H, K, V> Repr<'tcx> for HashMap<K, V, H> where K: Hash<S> + Eq + Repr<'tcx>, V: Repr<'tcx>, H: Hasher<S>impl<'tcx, T, U> Repr<'tcx> for OutlivesPredicate<T, U> where T: Repr<'tcx> + TypeFoldable<'tcx>, U: Repr<'tcx> + TypeFoldable<'tcx>impl<'tcx> Repr<'tcx> for EquatePredicate<'tcx>impl<'tcx> Repr<'tcx> for TraitPredicate<'tcx>impl<'tcx> Repr<'tcx> for ProjectionTy<'tcx>