Store class member type per instantiation

[wziww]

Environment data

• Language Server version: Microsoft Python Language Server version 0.4.38.0
• OS: Darwin x64 18.0.0
• VSCode Version: 1.38.1
• Python version (& distribution if applicable, e.g. Anaconda): python 2.7.16 64-bit

Expected behaviour

p can go to function p inside t2

Actual behaviour

Cant go to definition

Code Snippet / Additional lnformation

class t1(object):
    def __init__(self, obj):
        self.obj = obj
        return


class t2(object):
    def p(self):
        print "haha"

a = t1(t2())
a.obj.p()

[jakebailey]

I'm not sure we'd be able to do this at the moment without you explicitly writing out that t1 is some generic structure with type annotations (but you're still on Python 2).

We already can't find what obj is:

Because it could be anything, and our analysis doesn't create specific versions of t1 for every invocation with a new "obj".