Removed compile tests in favor of static assertions.

Cargo.toml

@@ -5,7 +5,7 @@ version = "1.2.1-pre"
 authors = ["Diogo Sousa <[email protected]>"]
 
 edition = "2021"
-rust-version = "1.60.0"
+rust-version = "1.66.0"
 
 homepage = "https://github.com/orium/archery"
 repository = "https://github.com/orium/archery"
@@ -45,20 +45,19 @@ triomphe = { version = "0.1.13", optional = true, default-features = false }
 serde = { version = "1.0.204", optional = true, default-features = false }
 
 [dev-dependencies]
+bincode = "1.3.3"
 criterion = { version = "0.5.1", features = ["html_reports"] }
 pretty_assertions = "1.4.0"
-compiletest_rs = "0.11.0"
-bincode = "1.3.3"
 
 [features]
 fatal-warnings = []
 triomphe = ["dep:triomphe"]
 serde = ["dep:serde"]
 
 [lints.clippy]
-all = { level = "warn", priority = -1 }
-pedantic = { level = "warn", priority = -1 }
-correctness = "deny"
+all = { level = "warn", priority = -2 }
+pedantic = { level = "warn", priority = -2 }
+correctness = { level = "deny", priority = -1 }
 
 explicit-deref-methods = "allow"
 if-not-else = "allow"

src/shared_pointer/kind/arc/mod.rs

@@ -29,7 +29,7 @@ pub struct ArcK {
 impl ArcK {
     #[inline(always)]
     fn new_from_inner<T>(arc: Arc<T>) -> ArcK {
-        ArcK { inner: ManuallyDrop::new(unsafe { mem::transmute(arc) }) }
+        ArcK { inner: ManuallyDrop::new(unsafe { mem::transmute::<Arc<T>, UntypedArc>(arc) }) }
     }
 
     #[inline(always)]

src/shared_pointer/kind/arct/mod.rs

@@ -29,7 +29,7 @@ pub struct ArcTK {
 impl ArcTK {
     #[inline(always)]
     fn new_from_inner<T>(arc: Arc<T>) -> ArcTK {
-        ArcTK { inner: ManuallyDrop::new(unsafe { mem::transmute(arc) }) }
+        ArcTK { inner: ManuallyDrop::new(unsafe { mem::transmute::<Arc<T>, UntypedArc>(arc) }) }
     }
 
     #[inline(always)]

src/shared_pointer/kind/mod.rs

@@ -19,7 +19,7 @@ use core::fmt::Debug;
 /// - `&mut T` is only exposed through the trait methods returning `&mut T`.
 ///
 /// - The implementor must not move out the contained `T` unless the semantics
-/// of trait methods demands that.
+///   of trait methods demands that.
 ///
 /// - [`Self::drop`] drops `T` in place.
 ///

src/shared_pointer/kind/rc/mod.rs

@@ -29,7 +29,7 @@ pub struct RcK {
 impl RcK {
     #[inline(always)]
     fn new_from_inner<T>(rc: Rc<T>) -> RcK {
-        RcK { inner: ManuallyDrop::new(unsafe { mem::transmute(rc) }) }
+        RcK { inner: ManuallyDrop::new(unsafe { mem::transmute::<Rc<T>, UntypedRc>(rc) }) }
     }
 
     #[inline(always)]

src/shared_pointer/test.rs

@@ -15,6 +15,52 @@ use std::string::ToString;
 
 assert_impl_all!(SharedPointer<i32, ArcK>: Send, Sync);
 
+mod static_check_rc_is_not_send_nor_sync {
+    use crate::{RcK, SharedPointer};
+    use static_assertions::*;
+
+    assert_impl_all!(i32: Send, Sync);
+
+    assert_not_impl_any!(SharedPointer<i32, RcK>: Send);
+    assert_not_impl_any!(SharedPointer<i32, RcK>: Sync);
+}
+
+mod static_check_arc_of_non_send_is_not_send_nor_sync {
+    use crate::{ArcK, SharedPointer};
+    use static_assertions::*;
+    use std::sync::MutexGuard;
+
+    assert_not_impl_any!(MutexGuard<'static, ()>: Send);
+    assert_impl_all!(MutexGuard<'static, ()>: Sync);
+
+    assert_not_impl_any!(SharedPointer<MutexGuard<'static, ()>, ArcK>: Send);
+    assert_not_impl_any!(SharedPointer<MutexGuard<'static, ()>, ArcK>: Sync);
+}
+
+mod static_check_arc_of_non_sync_is_not_send_nor_sync {
+    use crate::{ArcK, SharedPointer};
+    use static_assertions::*;
+    use std::cell::Cell;
+
+    assert_impl_all!(Cell<()>: Send);
+    assert_not_impl_any!(Cell<()>: Sync);
+
+    assert_not_impl_any!(SharedPointer<Cell<()>, ArcK>: Send);
+    assert_not_impl_any!(SharedPointer<Cell<()>, ArcK>: Sync);
+}
+
+mod static_check_arc_of_non_send_nor_sync_is_not_send_nor_sync {
+    use crate::{ArcK, SharedPointer};
+    use alloc::rc::Rc;
+    use static_assertions::*;
+
+    assert_not_impl_any!(Rc<i32>: Send);
+    assert_not_impl_any!(Rc<i32>: Sync);
+
+    assert_not_impl_any!(SharedPointer<Rc<i32>, ArcK>: Send);
+    assert_not_impl_any!(SharedPointer<Rc<i32>, ArcK>: Sync);
+}
+
 #[test]
 fn test_as_ptr() {
     let x = SharedPointer::<&'static str, RcK>::new("hello");