fn decode_arena_allocable<'tcx, D, T: ArenaAllocatable<'tcx> + Decodable<D>>( decoder: &mut D, ) -> &'tcx Twhere D: TyDecoder + TyDecoder<I = TyCtxt<'tcx>>,