Writing a macro that generates a function

I also wonder what would happen if I did “function piracy” like

@generated function Base.:+(a::T,b::T)
     ...
end # function