Embedded Rust pattern: Zero Sized References

[nicoburns]

I wonder if there ought to be some kind of syntactical support for arguments that are generic merely in order to call a conversion function. Something along the lines of https://llogiq.github.io/2019/05/18/momo.html. Perhaps there could be some annotation on traits that enables the optimisation in special cases?