Trait rustc_typeck::util::ppaux::ReprUnstable
[-] [+]
[src]
pub trait Repr<'tcx> { 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 Constraint
impl<'tcx> Repr<'tcx> for Verify<'tcx>
impl<'tcx> Repr<'tcx> for VarValue
impl<'tcx> Repr<'tcx> for RegionAndOrigin<'tcx>
impl<'tcx> Repr<'tcx> for GenericKind<'tcx>
impl<'tcx> Repr<'tcx> for TypeTrace<'tcx>
impl<'tcx> Repr<'tcx> for TypeOrigin
impl<'tcx> Repr<'tcx> for SubregionOrigin<'tcx>
impl<'tcx> Repr<'tcx> for RegionVariableOrigin
impl<'tcx> Repr<'tcx> for Implication<'tcx>
impl<'tcx> Repr<'tcx> for cmt_<'tcx>
impl<'tcx> Repr<'tcx> for categorization<'tcx>
impl<'tcx> Repr<'tcx> for PointerKind
impl<'tcx> Repr<'tcx> for InteriorKind
impl<'tcx> Repr<'tcx> for ClosureKind
impl<'tcx> Repr<'tcx> for Upvar
impl<'tcx> Repr<'tcx> for RegionObligation<'tcx>
impl<'tcx> Repr<'tcx> for ProjectionTyError<'tcx>
impl<'tcx> Repr<'tcx> for ProjectionTyCandidate<'tcx>
impl<'tcx, T> Repr<'tcx> for Normalized<'tcx, T> where T: Repr<'tcx>
impl<'tcx> Repr<'tcx> for ObjectSafetyViolation<'tcx>
impl<'tcx> Repr<'tcx> for SelectionCandidate<'tcx>
impl<'o, 'tcx> Repr<'tcx> for TraitObligationStack<'o, 'tcx>
impl<'tcx, O> Repr<'tcx> for Obligation<'tcx, O> where O: Repr<'tcx>
impl<'tcx, N> Repr<'tcx> for Vtable<'tcx, N> where N: Repr<'tcx>
impl<'tcx, N> Repr<'tcx> for VtableImplData<'tcx, N> where N: Repr<'tcx>
impl<'tcx, N> Repr<'tcx> for VtableBuiltinData<N> where N: Repr<'tcx>
impl<'tcx, N> Repr<'tcx> for VtableDefaultImplData<N> where N: Repr<'tcx>
impl<'tcx> Repr<'tcx> for VtableObjectData<'tcx>
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 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> Repr<'tcx> for ClosureTy<'tcx>
impl<'tcx> Repr<'tcx> for ClosureUpvar<'tcx>
impl<'tcx> Repr<'tcx> for field<'tcx>
impl<'a, 'tcx> Repr<'tcx> for ParameterEnvironment<'a, 'tcx>
impl<'tcx> Repr<'tcx> for ObjectLifetimeDefault
impl<'tcx, T> Repr<'tcx> for Option<T> where T: Repr<'tcx>
impl<'tcx, T> Repr<'tcx> for P<T> where T: Repr<'tcx>
impl<'tcx, T, U> Repr<'tcx> for Result<T, U> where T: Repr<'tcx>, U: Repr<'tcx>
impl<'tcx> Repr<'tcx> for ()
impl<'a, 'tcx, T> Repr<'tcx> for &'a T where T: Repr<'tcx> + ?Sized
impl<'tcx, T> Repr<'tcx> for Rc<T> where T: Repr<'tcx>
impl<'tcx, T> Repr<'tcx> for Box<T> where T: Repr<'tcx>
impl<'tcx, T> Repr<'tcx> for [T] where T: Repr<'tcx>
impl<'tcx, T> Repr<'tcx> for OwnedSlice<T> where T: Repr<'tcx>
impl<'tcx, T> Repr<'tcx> for Vec<T> where T: Repr<'tcx>
impl<'tcx> Repr<'tcx> for Def
impl<'tcx> Repr<'tcx> for TypeParameterDef<'tcx>
impl<'tcx> Repr<'tcx> for RegionParameterDef
impl<'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> for VecPerParamSpace<T> where T: Repr<'tcx>
impl<'tcx> Repr<'tcx> for ItemSubsts<'tcx>
impl<'tcx> Repr<'tcx> for RegionSubsts
impl<'tcx> Repr<'tcx> for EnumSet<BuiltinBound>
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 TraitItem
impl<'tcx> Repr<'tcx> for Expr
impl<'tcx> Repr<'tcx> for Path
impl<'tcx> Repr<'tcx> for Ty
impl<'tcx> Repr<'tcx> for Item
impl<'tcx> Repr<'tcx> for Lifetime
impl<'tcx> Repr<'tcx> for Spanned<Stmt_>
impl<'tcx> Repr<'tcx> for Pat
impl<'tcx> Repr<'tcx> for BoundRegion
impl<'tcx> Repr<'tcx> for Region
impl<'tcx> Repr<'tcx> for FreeRegion
impl<'tcx> Repr<'tcx> for CodeExtent
impl<'tcx> Repr<'tcx> for DestructionScopeData
impl<'tcx> Repr<'tcx> for DefId
impl<'tcx> Repr<'tcx> for TypeScheme<'tcx>
impl<'tcx> Repr<'tcx> for Generics<'tcx>
impl<'tcx> Repr<'tcx> for GenericPredicates<'tcx>
impl<'tcx> Repr<'tcx> for InstantiatedPredicates<'tcx>
impl<'tcx> Repr<'tcx> for ItemVariances
impl<'tcx> Repr<'tcx> for Variance
impl<'tcx> Repr<'tcx> for Method<'tcx>
impl<'tcx> Repr<'tcx> for Name
impl<'tcx> Repr<'tcx> for Ident
impl<'tcx> Repr<'tcx> for ExplicitSelf_
impl<'tcx> Repr<'tcx> for Visibility
impl<'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 BuiltinBound
impl<'tcx> Repr<'tcx> for Span
impl<'tcx> Repr<'tcx> for ExistentialBounds<'tcx>
impl<'tcx> Repr<'tcx> for Abi
impl<'tcx> Repr<'tcx> for UpvarId
impl<'tcx> Repr<'tcx> for Mutability
impl<'tcx> Repr<'tcx> for BorrowKind
impl<'tcx> Repr<'tcx> for UpvarBorrow
impl<'tcx> Repr<'tcx> for UpvarCapture
impl<'tcx> Repr<'tcx> for IntVid
impl<'tcx> Repr<'tcx> for FloatVid
impl<'tcx> Repr<'tcx> for RegionVid
impl<'tcx> Repr<'tcx> for TyVid
impl<'tcx> Repr<'tcx> for IntVarValue
impl<'tcx> Repr<'tcx> for IntTy
impl<'tcx> Repr<'tcx> for UintTy
impl<'tcx> Repr<'tcx> for FloatTy
impl<'tcx> Repr<'tcx> for ExplicitSelfCategory
impl<'tcx> Repr<'tcx> for ParamTy
impl<'tcx, A, B> Repr<'tcx> for (A, B) where A: Repr<'tcx>, B: Repr<'tcx>
impl<'tcx, T> Repr<'tcx> for Binder<T> where T: Repr<'tcx>
impl<'tcx, S, K, V> Repr<'tcx> for HashMap<K, V, S> where S: HashState, V: Repr<'tcx>, K: Hash + Eq + Repr<'tcx>
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>
impl<'tcx> Repr<'tcx> for Unsafety