code: def test_argument_of_local_function(self):
      test_self = self
  
      class Resolver(type_inference.Resolver):
          def res_arg(
              self, ns, types_ns, f_name, name, type_anno, f_is_local
          ):
              if f_name == "test_fn":
                  test_self.assertFalse(f_is_local)
                  test_self.assertEqual(name, qual_names.QN("a"))
                  test_self.assertEqual(type_anno, qual_names.QN("int"))
              elif f_name == "foo":
                  test_self.assertTrue(f_is_local)
                  if name == qual_names.QN("x"):
                      test_self.assertEqual(
                          type_anno, qual_names.QN("float")
                      )
                  elif name == qual_names.QN("y"):
                      test_self.assertIsNone(type_anno)
                  else:
                      test_self.fail(
                          "unexpected argument {} for {}".format(
                              name, f_name
                          )
                      )
              else:
                  test_self.fail(
                      "unexpected function name {}".format(f_name)
                  )
              return {str(name) + "_type"}
  
      def test_fn(a: int):
          def foo(x: float, y):
              return x, y
  
          return foo(a, a)
  
      tr = TestTranspiler(Resolver)
      node, _ = tr.transform(test_fn, None)
      fn_body = node.body
  
      self.assertTypes(
          fn_body[0].body[0].value, (("x_type", "y_type"),)
      )
      self.assertTypes(fn_body[0].body[0].value.elts[0], "x_type")
      self.assertTypes(fn_body[0].body[0].value.elts[1], "y_type")
  
imports: import unittest
  from typing import Any, Callable, List
  from nvidia.dali._autograph.pyct import anno
  from nvidia.dali._autograph.pyct import cfg
  from nvidia.dali._autograph.pyct import qual_names
  from nvidia.dali._autograph.pyct import transpiler
  from nvidia.dali._autograph.pyct.static_analysis import activity
  from nvidia.dali._autograph.pyct.static_analysis import reaching_definitions
  from nvidia.dali._autograph.pyct.static_analysis import reaching_fndefs
  from nvidia.dali._autograph.pyct.static_analysis import type_inference
label_desc: Use image node_id 6 for calling the TypeInferenceAnalyzerTest obj's underlying member method code with example usage: obj.test_argument_of_local_function() and returns: foo, unknown, x,  y