bendns' repos / treaty
Diffstat (limited to 'src/any.rs')
-rw-r--r--src/any.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/any.rs b/src/any.rs
index 231da6c..00249bc 100644
--- a/src/any.rs
+++ b/src/any.rs
@@ -27,7 +27,7 @@ pub enum LifetimeType {}
pub mod TypeName {
use effectful::environment::{DynBind, EnvConfig};
- pub trait MemberTypeForLt<'a, 'ctx: 'a, E: EnvConfig, B>: DynBind<E> {
+ pub trait MemberTypeForLt<'a, 'ctx: 'a, E: EnvConfig, B> {
type T: ?Sized + LowerTypeWithBound<'a, 'ctx, E, &'a &'ctx (), Higher = Self>;
}
@@ -41,7 +41,7 @@ pub mod TypeName {
{
}
- pub trait LowerTypeWithBound<'a, 'ctx: 'a, E: EnvConfig, B>: 'a + DynBind<E> {
+ pub trait LowerTypeWithBound<'a, 'ctx: 'a, E: EnvConfig, B>: 'a {
type Higher: ?Sized + MemberTypeForLt<'a, 'ctx, E, &'a &'ctx (), T = Self> + 'static;
}