@cuviper Ah, I think I understand what I am missing now. I never could figure out, what declaration where T : X means, could T be X or &X. Because if i remember, you can declare where T : &X. I need to re-read this piece of documentation. With M being possible a reference, I do understand now compiler's concern.