[minor] allow var auto in proc getX(a:var A): var auto = return a.x

[timotheecour]

allow:
proc getX(a:var A): var auto = return a.x
# means:
proc getX(a:var A): var a.x.type = return a.x

[andreaferretti]

A possible workaround for now:

template getX[A](a:var A): untyped = a.x

[timotheecour]

problem is, whenever template is used instead of proc, semantics change: if it's used in a place where x is a proc and and a doesn't have field x, it gives new meaning to a.getX