code: def test_reuse_of_env_thread_in_function_is_mandatory():
      """An env thread may be reused within a PrimFunc
  
      Not only are environment threads allowed to have multiple
      definition sites, it is mandatory for them to have multiple
      definition sites.  If a PrimFunc contains more than one
      `"thread_extent"` with the same name, but with different `tir.Var`
      instances, it is ill-formed.
      """
  
      @T.prim_func
      def func(A: T.Buffer([256], "float32")):
          with T.launch_thread("threadIdx.x", 256) as threadIdx_x:
              A[threadIdx_x] = A[threadIdx_x] + 1.0
  
          with T.launch_thread("threadIdx.x", 256) as threadIdx_x:
              A[threadIdx_x] = A[threadIdx_x] + 2.0
  
      with pytest.raises(ValueError):
          tvm.tir.analysis.verify_well_formed(func)
  
file_path: tvm/tests/python/tir-analysis/test_tir_analysis_verify_well_formed.py
imports: import pytest
  import tvm
  import tvm.testing
  from tvm.script import ir, tir
label_desc: Use image node_id 8 for calling a global function with example usage: test_reuse_of_env_thread_in_function_is_mandatory() without return types