Diffstat (limited to 'src/hkt.rs')
| -rw-r--r-- | src/hkt.rs | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -62,6 +62,9 @@ macro_rules! higher_ranked_trait { $vis mod $name { #![allow(non_snake_case)] + #[allow(unused)] + use super::*; + pub trait LowerForLt<$($lt,)+ $($($generic)*,)? B> where $($($lower_where)*)? @@ -87,7 +90,7 @@ macro_rules! higher_ranked_trait { impl<$($($generic)*,)? __: ?Sized> MemberType$(<$($generic)*>)? for __ where - __: for<$($lt,)+> LowerForLt<$($lt,)+ $($($generic)*,)? Bound<$($lt,)+ $($($generic)*)?>> + $($higher)? + __: for<$($lt,)+> LowerForLt<$($lt,)+ $($($generic)*,)? Bound<$($lt,)+ $($($generic)*)?>> + $($higher)?, $($($higher_where)*)? {} |