Is there a way to enforce a sink argument of a procedure, so that the compiler will error if it needs to produce a copy, without disabling the copy hook? Much like r-value reference arguments in c++
I have only been able to make the compiler help me by disabling the copy hook in the type, but i need my type to be copyable, i only need to enforce the move in particular sink functions in the hot path. Tried also to add an explicit system.move, but the compiler seems it is not able to report use after move errors...
