Generic method signature matching fails in the presence of generic callable parameters

Affects both 0.9.3 and 0.9.4.9[20.01.2011].

def foo [of T, U] (fun as callable(T, U)) as callable(T, U):
        return fun

def bar (a as int, b as int):
        print a, b

foo (bar) (1, 2)

$ booc test.boo
Boo Compiler version 0.9.3.3457 (2.8.1 (tarball Fri Dec 10 16:40:44 CET 2010))
test.boo(7,5): BCE0017: The best overload for the method 'TestModule.foo[of int, int]' is not compatible with the argument list '(callable(int, int) as void)'.
test.boo(7,5): BCE0017: The best overload for the method 'callable(T, U) as void' is not compatible with the argument list '(int, int)'.
2 error(s).