kind checker does not recognize implicit returns

[marijnh]

This shouldn't compile without annotating the parameter as copy kind, but it does:

 fn id<T>(x: T) -> T { x }

If you return by ret, the problem is detected.