FallibleCtx for TestContextTraced

This commit is contained in:
AF 2023-07-06 03:19:52 +00:00
parent 74d3a00b87
commit 9c0e99f2e6

View File

@ -10,6 +10,10 @@ impl<'a> FunctorContext<'a> for TestContextTraced {
type T = TracedInstance; type T = TracedInstance;
} }
impl<'a> FallibleCtx<'a> for TestContextTraced {
type Fallible = instances::result::ResultFailOver<Self::T>;
}
impl<'a> Context<'a> for TestContextTraced { impl<'a> Context<'a> for TestContextTraced {
type _Tm = Self::T; type _Tm = Self::T;