Completion does not work after a dot in meta expressions

[valis]

For example, field is not completed in the following code:

\record R (field : Nat)

\func axsax => ∃ (r : R) (r.field = 0)