Module ibc_test_framework::relayer::chain

Definition for a proxy ChainHandle implementation for tagged chain handles.

Since we use the chain handle type to distinguish the chain tags, we will run into problem if we have the same concrete ChainHandle implementations for two chains that are not encapsulated behind an impl ChainHandle.

This is the case for creating N-ary chains, because we cannot rely on the existential type encapsulation of impl ChainHandle to turn the CountingAndCachingChainHandle to turn them into unqiue types.

A workaround for this is to add a unique tag to CountingAndCachingChainHandle itself, so that the type MonoTagged<Tag, CountingAndCachingChainHandle> becomes a unique chain handle type.

We implement ChainHandle for a MonoTagged<Tag, Handle>, since if the underlying Handle type implements ChainHandle, then a tagged handle is still a ChainHandle.