Fixed validation bug when catalog is injected itself

CHANGELOG.md

@@ -4,6 +4,10 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [0.7.2] - 2023-09-04
+### Changed
+- Fixed validation of Catalog self-injection
+
 ## [0.7.1] - 2023-08-30
 ### Changed
 - Linked with latest dependencies

Cargo.toml

@@ -4,7 +4,7 @@ members = ["dill-impl", "dill"]
 
 
 [workspace.package]
-version = "0.7.1"
+version = "0.7.2"
 edition = "2021"
 readme = "README.md"
 homepage = "https://github.com/sergiimk/dill-rs"
@@ -17,4 +17,4 @@ include = ["benches/*.rs", "src/**/*.rs", "Cargo.toml"]
 
 
 [workspace.dependencies]
-dill-impl = { path = "dill-impl", version = "0.7.1" }
+dill-impl = { path = "dill-impl", version = "0.7.2" }

dill/src/specs.rs

@@ -68,6 +68,10 @@ impl DependencySpec for OneOf<Catalog> {
         // TODO: Avoid wrapping in Arc?
         Ok(Arc::new(cat.clone()))
     }
+
+    fn check(_: &Catalog) -> Result<(), InjectionError> {
+        Ok(())
+    }
 }
 
 /////////////////////////////////////////////////////////////////////////////////////////

dill/tests/tests/test_validation.rs

@@ -81,3 +81,27 @@ fn test_validate_ingores_bound_fields() {
 
     b.validate().unwrap();
 }
+
+#[test]
+fn test_validate_catalog_inject() {
+    trait A: Send + Sync {}
+
+    #[allow(dead_code)]
+    struct AImpl {
+        catalog: Catalog,
+    }
+
+    #[component]
+    impl AImpl {
+        pub fn new(catalog: Catalog) -> Self {
+            Self { catalog }
+        }
+    }
+    impl A for AImpl {}
+
+    let mut b = CatalogBuilder::new();
+    b.add::<AImpl>();
+    b.bind::<dyn A, AImpl>();
+
+    b.validate().unwrap();
+}