diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-01-17 07:20:36 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-01-17 07:20:36 +0000 |
commit | 3224ecea8734f850eda474c136ae4dcb7e1aa3f1 (patch) | |
tree | 0405cf7c9b9787a5be19d226fc7875d389bda15b /lib/arena/src/map.rs | |
parent | f5f011ba714589d65b7dae398938242abcbc3fee (diff) | |
parent | 9b5ba090db2c1f913d3f127573ac60c5eb2601bb (diff) |
Merge #7276
7276: Remove map module from la-arena public API r=lnicola a=arzg
It’s unlikely that more items will be added to the module, so it’s simpler for users if `ArenaMap` is re-exported and the module made private.
This doesn’t compile for the same reason that #7275 doesn’t:
> This pull request doesn’t compile because dependencies on la-arena go through crates.io, so existing dependencies on the crate are referencing an old version. As such, this PR will only compile once a new la-arena version has been published.
Co-authored-by: Aramis Razzaghipour <[email protected]>
Diffstat (limited to 'lib/arena/src/map.rs')
-rw-r--r-- | lib/arena/src/map.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/arena/src/map.rs b/lib/arena/src/map.rs index 980198247..5ebaa9b82 100644 --- a/lib/arena/src/map.rs +++ b/lib/arena/src/map.rs | |||
@@ -1,5 +1,3 @@ | |||
1 | //! A map from arena IDs to some other type. Space requirement is O(highest ID). | ||
2 | |||
3 | use std::marker::PhantomData; | 1 | use std::marker::PhantomData; |
4 | 2 | ||
5 | use crate::Idx; | 3 | use crate::Idx; |