From 521702ba99f39febfa751c38e3fbc14e4c9f09cb Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Thu, 6 Jul 2023 03:48:43 +0000
Subject: [PATCH] remove `Context::Fallible`

---
 src/rcore/context.rs | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

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