Also, for giving literals a different behavior than normal values, see Confusing difference: ^literal vs ^variable and all the linked discussions…
IMHO, it’s possible to implement. It could be useful sometimes. It breaks the insignificance of assignment to untyped variables in a benign looking case so I really don’t like it. Because of this properties, it has lead to quite a bit of confusions.