Traits for function items

Thanks. It does fail with cargo build, but not with cargo check. I was using the playground link, and it's "BUILD" must be a cargo check.

That difference between cargo check and cargo build has existed at least since 2022: Zero-sized assert during type checking - help - The Rust Programming Language Forum