def METHOD_NAME():
    skip("Currently, the inferred type of the z variable is str")
    program = """
        def foo(x):
            return x.name[0]
        def bar(y):
            z = foo(y)
        """
    module, ti = cs._parse_text(program, reset=True)
    for assgn_node in module.nodes_of_class(nodes.AssignName):
        if assgn_node.name == "z":
            z = ti.lookup_typevar(assgn_node, assgn_node.name)
            assert isinstance(ti.type_constraints.resolve(z).getValue(), TypeVar)