From 6a6e3609b367c6db74ce3a0605938fce2dde097b Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Thu, 6 Jul 2023 03:27:32 +0000
Subject: [PATCH] `Context` constrain `Fallible`

---
 src/rcore/context.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/rcore/context.rs b/src/rcore/context.rs
index de9bb92..6b47854 100644
--- a/src/rcore/context.rs
+++ b/src/rcore/context.rs
@@ -3,7 +3,9 @@ use fail::*;
 use super::*;
 
 /// Execution context.
-pub trait Context<'a>: FallibleCtx<'a, T = Self::_Tm> {
+pub trait Context<'a>:
+    FallibleCtx<'a, T = Self::_Tm, Fallible = <Self as Context<'a>>::Fallible>
+{
     /// Type to provide for [Monad]ic representation of computation, mostly that of resolution ([`Resolution`]).
     type _Tm: Monad<'a>;