Implement WithProvider for HasConnectionIdType

informalsystems · Dec 12, 2024 · 4d0a70e · 4d0a70e
1 parent e3ab014
commit 4d0a70e
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/crates/chain/chain-type-components/src/traits/types/ibc/connection_id.rs b/crates/chain/chain-type-components/src/traits/types/ibc/connection_id.rs
@@ -1,5 +1,7 @@
 use core::fmt::{Debug, Display};
 
+use cgp::core::component::WithProvider;
+use cgp::core::types::traits::ProvideType;
 use cgp::prelude::*;
 
 #[cgp_component {
@@ -14,3 +16,13 @@ pub trait HasConnectionIdType<Counterparty>: Async {
     */
     type ConnectionId: Debug + Display + Async;
 }
+
+impl<Chain, Counterparty, Provider, ConnectionId> ProvideConnectionIdType<Chain, Counterparty>
+    for WithProvider<Provider>
+where
+    Chain: Async,
+    Provider: ProvideType<Chain, ConnectionIdTypeComponent, Type = ConnectionId>,
+    ConnectionId: Debug + Display + Async,
+{
+    type ConnectionId = ConnectionId;
+}