Ah!  Scary!

Okay, I just tried out something similar in a little example, and the type checker yelled at me (`expected &'a but found ~`).  So you are right: this code shouldn't compile, and probably does not.