4e8a7eb7605d729e04c266281c046379da229c0c
1 //! This crate provides a safe and convenient store for one value of each type.
3 //! Your starting point is [`Map`]. It has an example.
5 #![warn(missing_docs, unused_results)]
7 #![cfg_attr(not(feature = "std"), no_std)]
9 use core
::any
::{Any
, TypeId
};
10 use core
::convert
::TryInto
;
11 use core
::hash
::{Hasher
, BuildHasherDefault
};
12 use core
::marker
::PhantomData
;
14 #[cfg(not(any(feature = "std", feature = "hashbrown")))]
15 compile_error!("anymap: you must enable the 'std' feature or the 'hashbrown' feature");
17 #[cfg(not(feature = "std"))]
20 #[cfg(not(feature = "std"))]
21 use alloc
::boxed
::Box
;
23 use any
::{UncheckedAnyExt
, IntoBox
};
24 pub use any
::CloneAny
;
26 #[cfg(all(feature = "std", not(feature = "hashbrown")))]
27 /// A re-export of [`std::collections::hash_map`] for raw access.
29 /// If the `hashbrown` feature gets enabled, this will become an export of `hashbrown::hash_map`.
31 /// As with [`RawMap`][crate::RawMap], this is exposed for compatibility reasons, since features
32 /// are supposed to be additive. This *is* imperfect, since the two modules are incompatible in a
33 /// few places (e.g. hashbrown’s entry types have an extra generic parameter), but it’s close, and
34 /// much too useful to give up the whole concept.
35 pub use std
::collections
::hash_map
as raw_hash_map
;
37 #[cfg(feature = "hashbrown")]
38 /// A re-export of [`hashbrown::hash_map`] for raw access.
40 /// If the `hashbrown` feature was disabled, this would become an export of
41 /// `std::collections::hash_map`.
43 /// As with [`RawMap`][crate::RawMap], this is exposed for compatibility reasons, since features
44 /// are supposed to be additive. This *is* imperfect, since the two modules are incompatible in a
45 /// few places (e.g. hashbrown’s entry types have an extra generic parameter), but it’s close, and
46 /// much too useful to give up the whole concept.
47 pub use hashbrown
::hash_map
as raw_hash_map
;
49 use self::raw_hash_map
::HashMap
;
51 macro_rules
! impl_common_methods
{
53 field
: $t
:ident
.$field
:ident
;
55 with_capacity($with_capacity_arg
:ident
) => $with_capacity
:expr
;
57 impl<A
: ?Sized
+ UncheckedAnyExt
> $t
<A
> {
58 /// Create an empty collection.
60 pub fn new() -> $t
<A
> {
66 /// Creates an empty collection with the given initial capacity.
68 pub fn with_capacity($with_capacity_arg
: usize) -> $t
<A
> {
70 $field
: $with_capacity
,
74 /// Returns the number of elements the collection can hold without reallocating.
76 pub fn capacity(&self) -> usize {
77 self.$field
.capacity()
80 /// Reserves capacity for at least `additional` more elements to be inserted
81 /// in the collection. The collection may reserve more space to avoid
82 /// frequent reallocations.
86 /// Panics if the new allocation size overflows `usize`.
88 pub fn reserve(&mut self, additional
: usize) {
89 self.$field
.reserve(additional
)
92 /// Shrinks the capacity of the collection as much as possible. It will drop
93 /// down as much as possible while maintaining the internal rules
94 /// and possibly leaving some space in accordance with the resize policy.
96 pub fn shrink_to_fit(&mut self) {
97 self.$field
.shrink_to_fit()
100 // Additional stable methods (as of 1.60.0-nightly) that could be added:
101 // try_reserve(&mut self, additional: usize) -> Result<(), TryReserveError> (1.57.0)
102 // shrink_to(&mut self, min_capacity: usize) (1.56.0)
104 /// Returns the number of items in the collection.
106 pub fn len(&self) -> usize {
110 /// Returns true if there are no items in the collection.
112 pub fn is_empty(&self) -> bool
{
113 self.$field
.is_empty()
116 /// Removes all items from the collection. Keeps the allocated memory for reuse.
118 pub fn clear(&mut self) {
123 impl<A
: ?Sized
+ UncheckedAnyExt
> Default
for $t
<A
> {
125 fn default() -> $t
<A
> {
134 /// Raw access to the underlying `HashMap`.
136 /// This is a public type alias because the underlying `HashMap` could be
137 /// `std::collections::HashMap` or `hashbrown::HashMap`, depending on the crate features enabled.
138 /// For that reason, you should refer to this type as `anymap::RawMap` rather than
139 /// `std::collections::HashMap` to avoid breakage if something else in your crate tree enables
142 /// See also [`raw_hash_map`], an export of the corresponding `hash_map` module.
143 pub type RawMap
<A
> = HashMap
<TypeId
, Box
<A
>, BuildHasherDefault
<TypeIdHasher
>>;
145 /// A collection containing zero or one values for any given type and allowing convenient,
146 /// type-safe access to those values.
148 /// The type parameter `A` allows you to use a different value type; normally you will want it to
149 /// be `core::any::Any` (also known as `std::any::Any`), but there are other choices:
151 /// - If you want the entire map to be cloneable, use `CloneAny` instead of `Any`; with that, you
152 /// can only add types that implement `Clone` to the map.
153 /// - You can add on `+ Send` or `+ Send + Sync` (e.g. `Map<dyn Any + Send>`) to add those auto
156 /// Cumulatively, there are thus six forms of map:
158 /// - <code>[Map]<dyn [core::any::Any]></code>, also spelled [`AnyMap`] for convenience.
159 /// - <code>[Map]<dyn [core::any::Any] + Send></code>
160 /// - <code>[Map]<dyn [core::any::Any] + Send + Sync></code>
161 /// - <code>[Map]<dyn [CloneAny]></code>
162 /// - <code>[Map]<dyn [CloneAny] + Send></code>
163 /// - <code>[Map]<dyn [CloneAny] + Send + Sync></code>
167 /// (Here using the [`AnyMap`] convenience alias; the first line could use
168 /// <code>[anymap::Map][Map]::<[core::any::Any]>::new()</code> instead if desired.)
171 /// let mut data = anymap::AnyMap::new();
172 /// assert_eq!(data.get(), None::<&i32>);
173 /// data.insert(42i32);
174 /// assert_eq!(data.get(), Some(&42i32));
175 /// data.remove::<i32>();
176 /// assert_eq!(data.get::<i32>(), None);
178 /// #[derive(Clone, PartialEq, Debug)]
183 /// assert_eq!(data.get::<Foo>(), None);
184 /// data.insert(Foo { str: format!("foo") });
185 /// assert_eq!(data.get(), Some(&Foo { str: format!("foo") }));
186 /// data.get_mut::<Foo>().map(|foo| foo.str.push('t'));
187 /// assert_eq!(&*data.get::<Foo>().unwrap().str, "foot");
190 /// Values containing non-static references are not permitted.
192 pub struct Map
<A
: ?Sized
+ UncheckedAnyExt
= dyn Any
> {
196 // #[derive(Clone)] would want A to implement Clone, but in reality it’s only Box<A> that can.
197 impl<A
: ?Sized
+ UncheckedAnyExt
> Clone
for Map
<A
> where Box
<A
>: Clone
{
199 fn clone(&self) -> Map
<A
> {
201 raw
: self.raw
.clone(),
206 /// The most common type of `Map`: just using `Any`; <code>[Map]<dyn [Any]></code>.
208 /// Why is this a separate type alias rather than a default value for `Map<A>`? `Map::new()`
209 /// doesn’t seem to be happy to infer that it should go with the default value.
210 /// It’s a bit sad, really. Ah well, I guess this approach will do.
211 pub type AnyMap
= Map
<dyn Any
>;
213 impl_common_methods
! {
215 new() => RawMap
::with_hasher(Default
::default());
216 with_capacity(capacity
) => RawMap
::with_capacity_and_hasher(capacity
, Default
::default());
219 impl<A
: ?Sized
+ UncheckedAnyExt
> Map
<A
> {
220 /// Returns a reference to the value stored in the collection for the type `T`, if it exists.
222 pub fn get
<T
: IntoBox
<A
>>(&self) -> Option
<&T
> {
223 self.raw
.get(&TypeId
::of
::<T
>())
224 .map(|any
| unsafe { any
.downcast_ref_unchecked
::<T
>() })
227 /// Returns a mutable reference to the value stored in the collection for the type `T`,
230 pub fn get_mut
<T
: IntoBox
<A
>>(&mut self) -> Option
<&mut T
> {
231 self.raw
.get_mut(&TypeId
::of
::<T
>())
232 .map(|any
| unsafe { any
.downcast_mut_unchecked
::<T
>() })
235 /// Sets the value stored in the collection for the type `T`.
236 /// If the collection already had a value of type `T`, that value is returned.
237 /// Otherwise, `None` is returned.
239 pub fn insert
<T
: IntoBox
<A
>>(&mut self, value
: T
) -> Option
<T
> {
241 self.raw
.insert(TypeId
::of
::<T
>(), value
.into_box())
242 .map(|any
| *any
.downcast_unchecked
::<T
>())
246 // rustc 1.60.0-nightly has another method try_insert that would be nice to add when stable.
248 /// Removes the `T` value from the collection,
249 /// returning it if there was one or `None` if there was not.
251 pub fn remove
<T
: IntoBox
<A
>>(&mut self) -> Option
<T
> {
252 self.raw
.remove(&TypeId
::of
::<T
>())
253 .map(|any
| *unsafe { any
.downcast_unchecked
::<T
>() })
256 /// Returns true if the collection contains a value of type `T`.
258 pub fn contains
<T
: IntoBox
<A
>>(&self) -> bool
{
259 self.raw
.contains_key(&TypeId
::of
::<T
>())
262 /// Gets the entry for the given type in the collection for in-place manipulation
264 pub fn entry
<T
: IntoBox
<A
>>(&mut self) -> Entry
<A
, T
> {
265 match self.raw
.entry(TypeId
::of
::<T
>()) {
266 raw_hash_map
::Entry
::Occupied(e
) => Entry
::Occupied(OccupiedEntry
{
270 raw_hash_map
::Entry
::Vacant(e
) => Entry
::Vacant(VacantEntry
{
277 /// Get access to the raw hash map that backs this.
279 /// This will seldom be useful, but it’s conceivable that you could wish to iterate over all
280 /// the items in the collection, and this lets you do that.
282 /// To improve compatibility with Cargo features, interact with this map through the names
283 /// [`anymap::RawMap`][RawMap] and [`anymap::raw_hash_map`][raw_hash_map], rather than through
284 /// `std::collections::{HashMap, hash_map}` or `hashbrown::{HashMap, hash_map}`, for anything
285 /// beyond self methods. Otherwise, if you use std and another crate in the tree enables
286 /// hashbrown, your code will break.
288 pub fn as_raw(&self) -> &RawMap
<A
> {
292 /// Get mutable access to the raw hash map that backs this.
294 /// This will seldom be useful, but it’s conceivable that you could wish to iterate over all
295 /// the items in the collection mutably, or drain or something, or *possibly* even batch
296 /// insert, and this lets you do that.
298 /// To improve compatibility with Cargo features, interact with this map through the names
299 /// [`anymap::RawMap`][RawMap] and [`anymap::raw_hash_map`][raw_hash_map], rather than through
300 /// `std::collections::{HashMap, hash_map}` or `hashbrown::{HashMap, hash_map}`, for anything
301 /// beyond self methods. Otherwise, if you use std and another crate in the tree enables
302 /// hashbrown, your code will break.
306 /// If you insert any values to the raw map, the key (a `TypeId`) must match the value’s type,
307 /// or *undefined behaviour* will occur when you access those values.
309 /// (*Removing* entries is perfectly safe.)
311 pub unsafe fn as_raw_mut(&mut self) -> &mut RawMap
<A
> {
315 /// Convert this into the raw hash map that backs this.
317 /// This will seldom be useful, but it’s conceivable that you could wish to consume all the
318 /// items in the collection and do *something* with some or all of them, and this lets you do
319 /// that, without the `unsafe` that `.as_raw_mut().drain()` would require.
321 /// To improve compatibility with Cargo features, interact with this map through the names
322 /// [`anymap::RawMap`][RawMap] and [`anymap::raw_hash_map`][raw_hash_map], rather than through
323 /// `std::collections::{HashMap, hash_map}` or `hashbrown::{HashMap, hash_map}`, for anything
324 /// beyond self methods. Otherwise, if you use std and another crate in the tree enables
325 /// hashbrown, your code will break.
327 pub fn into_raw(self) -> RawMap
<A
> {
331 /// Construct a map from a collection of raw values.
333 /// You know what? I can’t immediately think of any legitimate use for this, especially because
334 /// of the requirement of the `BuildHasherDefault<TypeIdHasher>` generic in the map.
336 /// Perhaps this will be most practical as `unsafe { Map::from_raw(iter.collect()) }`, iter
337 /// being an iterator over `(TypeId, Box<A>)` pairs. Eh, this method provides symmetry with
338 /// `into_raw`, so I don’t care if literally no one ever uses it. I’m not even going to write a
339 /// test for it, it’s so trivial.
341 /// To improve compatibility with Cargo features, interact with this map through the names
342 /// [`anymap::RawMap`][RawMap] and [`anymap::raw_hash_map`][raw_hash_map], rather than through
343 /// `std::collections::{HashMap, hash_map}` or `hashbrown::{HashMap, hash_map}`, for anything
344 /// beyond self methods. Otherwise, if you use std and another crate in the tree enables
345 /// hashbrown, your code will break.
349 /// For all entries in the raw map, the key (a `TypeId`) must match the value’s type,
350 /// or *undefined behaviour* will occur when you access that entry.
352 pub unsafe fn from_raw(raw
: RawMap
<A
>) -> Map
<A
> {
357 impl<A
: ?Sized
+ UncheckedAnyExt
> Extend
<Box
<A
>> for Map
<A
> {
359 fn extend
<T
: IntoIterator
<Item
= Box
<A
>>>(&mut self, iter
: T
) {
361 let _
= self.raw
.insert(item
.type_id(), item
);
366 /// A view into a single occupied location in an `Map`.
367 pub struct OccupiedEntry
<'a
, A
: ?Sized
+ UncheckedAnyExt
, V
: 'a
> {
368 #[cfg(all(feature = "std", not(feature = "hashbrown")))]
369 inner
: raw_hash_map
::OccupiedEntry
<'a
, TypeId
, Box
<A
>>,
370 #[cfg(feature = "hashbrown")]
371 inner
: raw_hash_map
::OccupiedEntry
<'a
, TypeId
, Box
<A
>, BuildHasherDefault
<TypeIdHasher
>>,
372 type_
: PhantomData
<V
>,
375 /// A view into a single empty location in an `Map`.
376 pub struct VacantEntry
<'a
, A
: ?Sized
+ UncheckedAnyExt
, V
: 'a
> {
377 #[cfg(all(feature = "std", not(feature = "hashbrown")))]
378 inner
: raw_hash_map
::VacantEntry
<'a
, TypeId
, Box
<A
>>,
379 #[cfg(feature = "hashbrown")]
380 inner
: raw_hash_map
::VacantEntry
<'a
, TypeId
, Box
<A
>, BuildHasherDefault
<TypeIdHasher
>>,
381 type_
: PhantomData
<V
>,
384 /// A view into a single location in an `Map`, which may be vacant or occupied.
385 pub enum Entry
<'a
, A
: ?Sized
+ UncheckedAnyExt
, V
: 'a
> {
386 /// An occupied Entry
387 Occupied(OccupiedEntry
<'a
, A
, V
>),
389 Vacant(VacantEntry
<'a
, A
, V
>),
392 impl<'a
, A
: ?Sized
+ UncheckedAnyExt
, V
: IntoBox
<A
>> Entry
<'a
, A
, V
> {
393 /// Ensures a value is in the entry by inserting the default if empty, and returns
394 /// a mutable reference to the value in the entry.
396 pub fn or_insert(self, default: V
) -> &'a
mut V
{
398 Entry
::Occupied(inner
) => inner
.into_mut(),
399 Entry
::Vacant(inner
) => inner
.insert(default),
403 /// Ensures a value is in the entry by inserting the result of the default function if empty,
404 /// and returns a mutable reference to the value in the entry.
406 pub fn or_insert_with
<F
: FnOnce() -> V
>(self, default: F
) -> &'a
mut V
{
408 Entry
::Occupied(inner
) => inner
.into_mut(),
409 Entry
::Vacant(inner
) => inner
.insert(default()),
413 /// Ensures a value is in the entry by inserting the default value if empty,
414 /// and returns a mutable reference to the value in the entry.
416 pub fn or_default(self) -> &'a
mut V
where V
: Default
{
418 Entry
::Occupied(inner
) => inner
.into_mut(),
419 Entry
::Vacant(inner
) => inner
.insert(Default
::default()),
423 /// Provides in-place mutable access to an occupied entry before any potential inserts into the
426 // std::collections::hash_map::Entry::and_modify doesn’t have #[must_use], I’ll follow suit.
427 #[allow(clippy::return_self_not_must_use)]
428 pub fn and_modify
<F
: FnOnce(&mut V
)>(self, f
: F
) -> Self {
430 Entry
::Occupied(mut inner
) => {
432 Entry
::Occupied(inner
)
434 Entry
::Vacant(inner
) => Entry
::Vacant(inner
),
438 // Additional stable methods (as of 1.60.0-nightly) that could be added:
439 // insert_entry(self, value: V) -> OccupiedEntry<'a, K, V> (1.59.0)
442 impl<'a
, A
: ?Sized
+ UncheckedAnyExt
, V
: IntoBox
<A
>> OccupiedEntry
<'a
, A
, V
> {
443 /// Gets a reference to the value in the entry
445 pub fn get(&self) -> &V
{
446 unsafe { self.inner
.get().downcast_ref_unchecked() }
449 /// Gets a mutable reference to the value in the entry
451 pub fn get_mut(&mut self) -> &mut V
{
452 unsafe { self.inner
.get_mut().downcast_mut_unchecked() }
455 /// Converts the OccupiedEntry into a mutable reference to the value in the entry
456 /// with a lifetime bound to the collection itself
458 pub fn into_mut(self) -> &'a
mut V
{
459 unsafe { self.inner
.into_mut().downcast_mut_unchecked() }
462 /// Sets the value of the entry, and returns the entry's old value
464 pub fn insert(&mut self, value
: V
) -> V
{
465 unsafe { *self.inner
.insert(value
.into_box()).downcast_unchecked() }
468 /// Takes the value out of the entry, and returns it
470 pub fn remove(self) -> V
{
471 unsafe { *self.inner
.remove().downcast_unchecked() }
475 impl<'a
, A
: ?Sized
+ UncheckedAnyExt
, V
: IntoBox
<A
>> VacantEntry
<'a
, A
, V
> {
476 /// Sets the value of the entry with the VacantEntry's key,
477 /// and returns a mutable reference to it
479 pub fn insert(self, value
: V
) -> &'a
mut V
{
480 unsafe { self.inner
.insert(value
.into_box()).downcast_mut_unchecked() }
484 /// A hasher designed to eke a little more speed out, given `TypeId`’s known characteristics.
486 /// Specifically, this is a no-op hasher that expects to be fed a u64’s worth of
487 /// randomly-distributed bits. It works well for `TypeId` (eliminating start-up time, so that my
488 /// get_missing benchmark is ~30ns rather than ~900ns, and being a good deal faster after that, so
489 /// that my insert_and_get_on_260_types benchmark is ~12μs instead of ~21.5μs), but will
490 /// panic in debug mode and always emit zeros in release mode for any other sorts of inputs, so
491 /// yeah, don’t use it! 😀
493 pub struct TypeIdHasher
{
497 impl Hasher
for TypeIdHasher
{
499 fn write(&mut self, bytes
: &[u8]) {
500 // This expects to receive exactly one 64-bit value, and there’s no realistic chance of
501 // that changing, but I don’t want to depend on something that isn’t expressly part of the
502 // contract for safety. But I’m OK with release builds putting everything in one bucket
503 // if it *did* change (and debug builds panicking).
504 debug_assert_eq!(bytes
.len(), 8);
505 let _
= bytes
.try_into()
506 .map(|array
| self.value
= u64::from_ne_bytes(array
));
510 fn finish(&self) -> u64 { self.value
}
517 #[derive(Clone, Debug, PartialEq)] struct A(i32);
518 #[derive(Clone, Debug, PartialEq)] struct B(i32);
519 #[derive(Clone, Debug, PartialEq)] struct C(i32);
520 #[derive(Clone, Debug, PartialEq)] struct D(i32);
521 #[derive(Clone, Debug, PartialEq)] struct E(i32);
522 #[derive(Clone, Debug, PartialEq)] struct F(i32);
523 #[derive(Clone, Debug, PartialEq)] struct J(i32);
525 macro_rules
! test_entry
{
526 ($name
:ident
, $init
:ty
) => {
529 let mut map
= <$init
>::new();
530 assert_eq!(map
.insert(A(10)), None
);
531 assert_eq!(map
.insert(B(20)), None
);
532 assert_eq!(map
.insert(C(30)), None
);
533 assert_eq!(map
.insert(D(40)), None
);
534 assert_eq!(map
.insert(E(50)), None
);
535 assert_eq!(map
.insert(F(60)), None
);
537 // Existing key (insert)
538 match map
.entry
::<A
>() {
539 Entry
::Vacant(_
) => unreachable!(),
540 Entry
::Occupied(mut view
) => {
541 assert_eq!(view
.get(), &A(10));
542 assert_eq!(view
.insert(A(100)), A(10));
545 assert_eq!(map
.get
::<A
>().unwrap(), &A(100));
546 assert_eq!(map
.len(), 6);
549 // Existing key (update)
550 match map
.entry
::<B
>() {
551 Entry
::Vacant(_
) => unreachable!(),
552 Entry
::Occupied(mut view
) => {
553 let v
= view
.get_mut();
554 let new_v
= B(v
.0 * 10);
558 assert_eq!(map
.get
::<B
>().unwrap(), &B(200));
559 assert_eq!(map
.len(), 6);
562 // Existing key (remove)
563 match map
.entry
::<C
>() {
564 Entry
::Vacant(_
) => unreachable!(),
565 Entry
::Occupied(view
) => {
566 assert_eq!(view
.remove(), C(30));
569 assert_eq!(map
.get
::<C
>(), None
);
570 assert_eq!(map
.len(), 5);
573 // Inexistent key (insert)
574 match map
.entry
::<J
>() {
575 Entry
::Occupied(_
) => unreachable!(),
576 Entry
::Vacant(view
) => {
577 assert_eq!(*view
.insert(J(1000)), J(1000));
580 assert_eq!(map
.get
::<J
>().unwrap(), &J(1000));
581 assert_eq!(map
.len(), 6);
583 // Entry.or_insert on existing key
584 map
.entry
::<B
>().or_insert(B(71)).0 += 1;
585 assert_eq!(map
.get
::<B
>().unwrap(), &B(201));
586 assert_eq!(map
.len(), 6);
588 // Entry.or_insert on nonexisting key
589 map
.entry
::<C
>().or_insert(C(300)).0 += 1;
590 assert_eq!(map
.get
::<C
>().unwrap(), &C(301));
591 assert_eq!(map
.len(), 7);
596 test_entry!(test_entry_any
, AnyMap
);
597 test_entry!(test_entry_cloneany
, Map
<dyn CloneAny
>);
601 let map
: AnyMap
= Default
::default();
602 assert_eq!(map
.len(), 0);
607 let mut map
: Map
<dyn CloneAny
> = Map
::new();
608 let _
= map
.insert(A(1));
609 let _
= map
.insert(B(2));
610 let _
= map
.insert(D(3));
611 let _
= map
.insert(E(4));
612 let _
= map
.insert(F(5));
613 let _
= map
.insert(J(6));
614 let map2
= map
.clone();
615 assert_eq!(map2
.len(), 6);
616 assert_eq!(map2
.get
::<A
>(), Some(&A(1)));
617 assert_eq!(map2
.get
::<B
>(), Some(&B(2)));
618 assert_eq!(map2
.get
::<C
>(), None
);
619 assert_eq!(map2
.get
::<D
>(), Some(&D(3)));
620 assert_eq!(map2
.get
::<E
>(), Some(&E(4)));
621 assert_eq!(map2
.get
::<F
>(), Some(&F(5)));
622 assert_eq!(map2
.get
::<J
>(), Some(&J(6)));
626 fn test_varieties() {
627 fn assert_send
<T
: Send
>() { }
628 fn assert_sync
<T
: Sync
>() { }
629 fn assert_clone
<T
: Clone
>() { }
630 fn assert_debug
<T
: ::core
::fmt
::Debug
>() { }
631 assert_send
::<Map
<dyn Any
+ Send
>>();
632 assert_send
::<Map
<dyn Any
+ Send
+ Sync
>>();
633 assert_sync
::<Map
<dyn Any
+ Send
+ Sync
>>();
634 assert_debug
::<Map
<dyn Any
>>();
635 assert_debug
::<Map
<dyn Any
+ Send
>>();
636 assert_debug
::<Map
<dyn Any
+ Send
+ Sync
>>();
637 assert_send
::<Map
<dyn CloneAny
+ Send
>>();
638 assert_send
::<Map
<dyn CloneAny
+ Send
+ Sync
>>();
639 assert_sync
::<Map
<dyn CloneAny
+ Send
+ Sync
>>();
640 assert_clone
::<Map
<dyn CloneAny
+ Send
>>();
641 assert_clone
::<Map
<dyn CloneAny
+ Send
+ Sync
>>();
642 assert_clone
::<Map
<dyn CloneAny
+ Send
+ Sync
>>();
643 assert_debug
::<Map
<dyn CloneAny
>>();
644 assert_debug
::<Map
<dyn CloneAny
+ Send
>>();
645 assert_debug
::<Map
<dyn CloneAny
+ Send
+ Sync
>>();
649 fn type_id_hasher() {
650 #[cfg(not(feature = "std"))]
652 use core
::hash
::Hash
;
653 fn verify_hashing_with(type_id
: TypeId
) {
654 let mut hasher
= TypeIdHasher
::default();
655 type_id
.hash(&mut hasher
);
656 // SAFETY: u64 is valid for all bit patterns.
657 assert_eq!(hasher
.finish(), unsafe { core
::mem
::transmute
::<TypeId
, u64>(type_id
) });
659 // Pick a variety of types, just to demonstrate it’s all sane. Normal, zero-sized, unsized, &c.
660 verify_hashing_with(TypeId
::of
::<usize>());
661 verify_hashing_with(TypeId
::of
::<()>());
662 verify_hashing_with(TypeId
::of
::<str>());
663 verify_hashing_with(TypeId
::of
::<&str>());
664 verify_hashing_with(TypeId
::of
::<Vec
<u8>>());