Breaks inference

diff --git a/src/main.rs b/src/main.rs
index 3b6259cd4466e5fa7a00f37c1f073783a71544cf..802c5d1d79cd7f481e2bda3831ab10f5231114f8 100644 (file)
--- a/src/main.rs
+++ b/src/main.rs
@@ -5,11 +5,11 @@ pub trait Callable<Args>: Any {
     type Output;
     fn callable_call(self, a: Args) -> Self::Output;
 }
-impl<A, F, O> Callable<(A,)> for F where F: Fn(A) -> O + 'static {
+impl<A: 'static, O: 'static> Callable<(A,)> for fn(A) -> O {
     type Output = O;
     fn callable_call(self, (a,): (A,)) -> O { (self)(a) }
 }
-impl<A,B, F, O> Callable<(A,B)> for F where F: Fn(A,B) -> O + 'static {
+impl<A: 'static, B: 'static, O: 'static> Callable<(A,B)> for fn(A,B) -> O {
     type Output = O;
     fn callable_call(self, (a,b): (A,B)) -> O { (self)(a,b) }
 }