But currently I have a problem with the implemenation of 'A&'.
I do not know how to convey the fact that behind the type is a
'&'. IMO the correct D way is to create a new type like
TypePointer -> TypeRvRef. But my attempts failed so far to
create such type.
Because of that I decided to declare a boolean flag 'isRvRef'
inside of the basic Type struct which I set to TRUE if a '&' is
behind the type. This works and don't break any code but I
think that should be fixed by someone with more knowledge.
But I think also that this rvalue problem has a very low
priority.
So if we want to resolve this issue, then we need to do it
yourself.
If someone wants to help me, the code and the current solution
is on github:
https://github.com/Dgame/dmd/tree/rvalueRef
I could finally fix the problem.
Now for rvalue references an extra type is created: TypeRvRef.
But this solution does not work with templates. I do not yet know
how to solve this, but maybe someone knows advice.
Code: https://github.com/Dgame/dmd/tree/rvalueRef2