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