def METHOD_NAME():
    skip("Requires proper handling of builtins with multiple signatures")
    program = """
    def f(x, y):
        return x + y
    z = f('abc', 'def')
    """
    ast_mod, ti = cs._parse_text(program)
    for assgn_node in ast_mod.nodes_of_class(nodes.AssignName):
        if assgn_node.name == "z":
            z = ti.lookup_typevar(assgn_node, assgn_node.name)
            assert ti.type_constraints.resolve(z).getValue() == str