[nem-en] Type inference in completion

[vc]

Hi.

We have some problem during type inference. For example if try to get member
list from 'x' (cursor position mark by '|'):
def lst = ["1", "2", "3", "52"];
WriteLine(lst.Map(x => x.|));
we will see System.Object members.

I surmise it's result of braking of type inference process. See:
line 273 of
http://nemerle.org/svn/vs-plugin/trunk/Nemerle.Compiler.Utils/Nemerle.Comple
tion2/Engine/Engine.Completion.n
and line 1170 of http://nemerle.org/svn/nemerle/trunk/ncc/typing/Typer.n

What we should to do for infer real type of 'x'?

Vlad.