Add tests for return types of associated functions

tests/derive_arc/successes/assoc_function_rettype.rs

@@ -0,0 +1,21 @@
+use blanket::blanket;
+use impls::impls;
+
+use std::sync::Arc;
+
+#[blanket(derive(Arc))]
+pub trait StaticChecker {
+    fn check() -> Result<(), String>;
+}
+
+#[derive(Default)]
+struct NoOpChecker;
+
+impl StaticChecker for NoOpChecker {
+    fn check() -> Result<(), String> { Ok(()) }
+}
+
+fn main() {
+    assert!(impls!(    NoOpChecker:  StaticChecker));
+    assert!(impls!(Arc<NoOpChecker>: StaticChecker));
+}

tests/derive_box/successes/assoc_function_rettype.rs

@@ -0,0 +1,19 @@
+use blanket::blanket;
+use impls::impls;
+
+#[blanket(derive(Box))]
+pub trait StaticChecker {
+    fn check() -> Result<(), String>;
+}
+
+#[derive(Default)]
+struct NoOpChecker;
+
+impl StaticChecker for NoOpChecker {
+    fn check() -> Result<(), String> { Ok(()) }
+}
+
+fn main() {
+    assert!(impls!(    NoOpChecker:  StaticChecker));
+    assert!(impls!(Box<NoOpChecker>: StaticChecker));
+}

tests/derive_mut/successes/assoc_function_rettype.rs

@@ -0,0 +1,19 @@
+use blanket::blanket;
+use impls::impls;
+
+#[blanket(derive(Mut))]
+pub trait StaticChecker {
+    fn check() -> Result<(), String>;
+}
+
+#[derive(Default)]
+struct NoOpChecker;
+
+impl StaticChecker for NoOpChecker {
+    fn check() -> Result<(), String> { Ok(()) }
+}
+
+fn main() {
+    assert!(impls!(     NoOpChecker:  StaticChecker));
+    assert!(impls!(&mut NoOpChecker: StaticChecker));
+}

tests/derive_rc/successes/assoc_function_rettype.rs

@@ -0,0 +1,21 @@
+use blanket::blanket;
+use impls::impls;
+
+use std::rc::Rc;
+
+#[blanket(derive(Rc))]
+pub trait StaticChecker {
+    fn check() -> Result<(), String>;
+}
+
+#[derive(Default)]
+struct NoOpChecker;
+
+impl StaticChecker for NoOpChecker {
+    fn check() -> Result<(), String> { Ok(()) }
+}
+
+fn main() {
+    assert!(impls!(   NoOpChecker:  StaticChecker));
+    assert!(impls!(Rc<NoOpChecker>: StaticChecker));
+}

tests/derive_ref/successes/assoc_function_rettype.rs

@@ -0,0 +1,19 @@
+use blanket::blanket;
+use impls::impls;
+
+#[blanket(derive(Ref))]
+pub trait StaticChecker {
+    fn check() -> Result<(), String>;
+}
+
+#[derive(Default)]
+struct NoOpChecker;
+
+impl StaticChecker for NoOpChecker {
+    fn check() -> Result<(), String> { Ok(()) }
+}
+
+fn main() {
+    assert!(impls!( NoOpChecker:  StaticChecker));
+    assert!(impls!(&NoOpChecker: StaticChecker));
+}