Why was this restriction added? I might want to use take to end the lifetime of a variable binding from a function parameter, even if the calling convention isn't necessarily take WRT that parameter.
Just to ensure that it isn't being used later in the function, and to allow me to incrementally reason about how ownership should be transferred.