Hi,
Why not. Associations referred from machine code are kept in a list to be updated as post-become action. We never keep the association live in register or anywhere so it should work.
Now I am thinking maybe we should scan all the machine code zone as a post become action to update literals so when #== happens we don't need to check for forwarders for annotable constant operand. In "var1 == 'string'", we would know 'string' is not a forwarder. And for super sends to annotable constant too.
Although all of this is about uncommon cases so I don't know if it really matters...