PTV/radn-rs
1
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity

no more 'static

Browse Source
This commit is contained in:
AF 2023-03-12 06:49:03 +00:00
parent 18f3001e3f
commit ce63e3a1dd
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/func/test_suite.rs
View File

@ -1,6 +1,6 @@
use super::{tests::*, *}; use super::{tests::*, *};
pub trait FunctorTestSuite: WeakFunctor + Eqr + 'static { pub trait FunctorTestSuite: WeakFunctor + Eqr {
fn sample<'a, A: 'a, F: FnMut(&'a dyn Fn(A) -> Self::F<'a, A>)>(f: F) fn sample<'a, A: 'a, F: FnMut(&'a dyn Fn(A) -> Self::F<'a, A>)>(f: F)
where where
Self::F<'a, A>: 'a; Self::F<'a, A>: 'a;

6
src/func/tests.rs
View File

@ -243,8 +243,8 @@ pub fn discard_can_be_expressed_via_seq_or_la2<
T: Applicative + Eqr, T: Applicative + Eqr,
A: 'a, A: 'a,
B: 'a + Debug + PartialEq, B: 'a + Debug + PartialEq,
FA0: Fn() -> T::F<'a, A>, FA0: 'a + Fn() -> T::F<'a, A>,
FB0: Fn() -> T::F<'a, B>, FB0: 'a + Fn() -> T::F<'a, B>,
>( >(
fa0: FA0, fa0: FA0,
fb0: FB0, fb0: FB0,
@ -301,7 +301,7 @@ pub fn bind_is_associative<
C: 'a + Debug + PartialEq, C: 'a + Debug + PartialEq,
F: 'a + Clone + Fn(B) -> T::F<'a, C>, F: 'a + Clone + Fn(B) -> T::F<'a, C>,
G: 'a + Clone + Fn(A) -> T::F<'a, B>, G: 'a + Clone + Fn(A) -> T::F<'a, B>,
FA0: Fn() -> T::F<'a, A>, FA0: 'a + Fn() -> T::F<'a, A>,
>( >(
f: F, f: F,
g: G, g: G,