From 8c033ed044afab0afad524e5b636e440804f2d44 Mon Sep 17 00:00:00 2001
From: timofey <tim@ongoteam.yaconnect.com>
Date: Thu, 6 Jul 2023 03:49:36 +0000
Subject: [PATCH] remove `Context::Fallible` implementations

---
 src/rcore/context.rs   | 4 +---
 src/testing.rs         | 2 --
 src/testing/counted.rs | 2 --
 src/testing/traced.rs  | 2 --
 4 files changed, 1 insertion(+), 9 deletions(-)

diff --git a/src/rcore/context.rs b/src/rcore/context.rs
index 96fa66c..2822085 100644
--- a/src/rcore/context.rs
+++ b/src/rcore/context.rs
@@ -1,9 +1,7 @@
 use super::*;
 
 /// Execution context.
-pub trait Context<'a>:
-    FallibleCtx<'a, T = Self::_Tm>
-{
+pub trait Context<'a>: FallibleCtx<'a, T = Self::_Tm> {
     /// Type to provide for [Monad]ic representation of computation, mostly that of resolution ([`Resolution`]).
     type _Tm: Monad<'a>;
 
diff --git a/src/testing.rs b/src/testing.rs
index 363d54e..6bb0e1d 100644
--- a/src/testing.rs
+++ b/src/testing.rs
@@ -75,8 +75,6 @@ impl<'a> FallibleCtx<'a> for TestContextPlain {
 impl<'a> Context<'a> for TestContextPlain {
     type _Tm = Self::T;
 
-    type Fallible = instances::result::ResultFailAny;
-
     type D = NoDiagnostic;
 
     type LookupError = TestLookupError<'a>;
diff --git a/src/testing/counted.rs b/src/testing/counted.rs
index 1ea764a..14ed990 100644
--- a/src/testing/counted.rs
+++ b/src/testing/counted.rs
@@ -18,8 +18,6 @@ impl<'a> FallibleCtx<'a> for TestContextCounted {
 impl<'a> Context<'a> for TestContextCounted {
     type _Tm = Self::T;
 
-    type Fallible = instances::result::ResultFailOver<Self::T>;
-
     type D = NoDiagnostic;
 
     type LookupError = TestLookupError<'a>;
diff --git a/src/testing/traced.rs b/src/testing/traced.rs
index 493a4f3..29f4829 100644
--- a/src/testing/traced.rs
+++ b/src/testing/traced.rs
@@ -17,8 +17,6 @@ impl<'a> FallibleCtx<'a> for TestContextTraced {
 impl<'a> Context<'a> for TestContextTraced {
     type _Tm = Self::T;
 
-    type Fallible = instances::result::ResultFailOver<Self::T>;
-
     type D = TracedDiagnostic;
 
     type LookupError = TestLookupError<'a>;