kind checker does not recognize implicit returns #1390
Description
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.
{{ message }}
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.