fn decode_arena_allocable_slice<'tcx, D, T: ArenaAllocatable<'tcx> + Decodable<D>>(
    decoder: &mut D
) -> &'tcx [T] where
    D: TyDecoder + TyDecoder<I = TyCtxt<'tcx>>,