Type inference from static method calls

[vemv]

For e.g. (.| (Thread/currentThread)), we could observe that (Thread/currentThread) returns a Thread, and therefore the completions can be constrained to those of the members of Thread.

I don't have a preliminary idea as for how to implement this.

(Orchard has plenty of Java analysis utils)

[vemv]

Static fields, e.g. System/out have a similar use case and seem easier to implement - would be useful as a taster.