Feature idea: .userinit property (or trait) to retrieve the initializer of a variable

[Andrej Mitrovic]

On 7/17/13, Maxim Fomin <maxim at maxim-fomin.ru> wrote:
> I think this is not a fair comparison. Your S s could be S s =
> S(2) and you cannot retrieve S(2) just like in case with int
> value = 5. I see no difference between basic type variables and
> user-defined variables here.

It wasn't meant to be a comparison, but a showcase that we already
have /some/ form of retrieving the initializer, but I want to expand
this for all variables and not just fields of aggregates.