Trait RefDecodable 

pub trait RefDecodable<'tcx>: PointeeSized {
    // Required method
    fn decode(d: &mut impl TyDecoder<'tcx>) -> &'tcx Self;
}

Trait for decoding to a reference.

This is a separate trait from Decodable so that we can easily implement it for upstream types, such as FxHashSet.

The TyDecodable derive macro will use this trait for fields that are references (and don’t use a type alias to hide that).

Decodable can still be implemented in cases where Decodable is required by a trait bound; see impl_decodable_via_ref_decodable_for_local_types! for examples.

Implementations of this trait will typically allocate into an arena or interner, e.g. see impl_ref_decodable_into_arena! in rustc_middle::arena.

Required Methods

fn decode(d: &mut impl TyDecoder<'tcx>) -> &'tcx Self

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<'tcx> RefDecodable<'tcx> for (Clause<'tcx>, Span)

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for (ExportedSymbol<'tcx>, SymbolExportInfo)

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for (PolyTraitRef<'tcx>, Span)

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for Attribute

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for DefId

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for Ident

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for IndexVec<Promoted, Body<'tcx>>

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for InlineAsmTemplatePiece

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for LocalDefId

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for Span

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for Spanned<MonoItem<'tcx>>

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for TokenStream

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for UnordMap<DefId, EarlyBinder<'tcx, Ty<'tcx>>>

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for UnordSet<LocalDefId>

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [(Clause<'tcx>, Span)]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [(ExportedSymbol<'tcx>, SymbolExportInfo)]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [(PolyTraitRef<'tcx>, Span)]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [Attribute]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [Body<'tcx>]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [DeducedParamAttrs]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [DefId]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [Graph]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [Ident]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [ImplSource<'tcx, ()>]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [IndexVec<Promoted, Body<'tcx>>]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [InlineAsmTemplatePiece]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [LocalDefId]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [Span]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [Spanned<MonoItem<'tcx>>]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [TokenStream]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [TypeckResults<'tcx>]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [UnordMap<DefId, EarlyBinder<'tcx, Ty<'tcx>>>]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [UnordSet<LocalDefId>]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

impl<'tcx> RefDecodable<'tcx> for [Variance]

fn decode(decoder: &mut impl TyDecoder<'tcx>) -> &'tcx Self

Implementors

impl<'tcx> RefDecodable<'tcx> for Body<'tcx>

impl<'tcx> RefDecodable<'tcx> for DeducedParamAttrs

impl<'tcx> RefDecodable<'tcx> for Graph

impl<'tcx> RefDecodable<'tcx> for ImplSource<'tcx, ()>

impl<'tcx> RefDecodable<'tcx> for List<BoundVariableKind<'tcx>>

impl<'tcx> RefDecodable<'tcx> for List<Const<'tcx>>

impl<'tcx> RefDecodable<'tcx> for List<Pattern<'tcx>>

impl<'tcx> RefDecodable<'tcx> for List<PolyExistentialPredicate<'tcx>>

impl<'tcx> RefDecodable<'tcx> for List<Ty<'tcx>>

impl<'tcx> RefDecodable<'tcx> for ListWithCachedTypeInfo<Clause<'tcx>>

impl<'tcx> RefDecodable<'tcx> for TypeckResults<'tcx>

impl<'tcx> RefDecodable<'tcx> for Variance