
def type_annotation(x):
    foo = 5
    if x:
        foo : int
        do_stuff_with(foo)
    else:
        foo : float
        do_other_stuff_with(foo)


def type_annotation(x):
    foo = 5
    if x:
        foo : int
        do_stuff_with(foo)
    else:
        foo : float
        do_other_stuff_with(foo)

def type_annotation_fn():
    # False negative: the value of `bar` is never used, but this is masked by the presence of the type annotation.
    bar = 5
    bar : int

Add false negative test case.
Python: Add false negative test case.

  
  def type_annotation(x):
      foo = 5
      if x:
          foo : int
          do_stuff_with(foo)
      else:
          foo : float
          do_other_stuff_with(foo)
  
+ def type_annotation_fn():
+     # False negative: the value of `bar` is never used, but this is masked by the presence of the type annotation.
+     bar = 5
+     bar : int
+ 
Add false negative test case.
## Code Before:

def type_annotation(x):
    foo = 5
    if x:
        foo : int
        do_stuff_with(foo)
    else:
        foo : float
        do_other_stuff_with(foo)

## Instruction:
Add false negative test case.
## Code After:

def type_annotation(x):
    foo = 5
    if x:
        foo : int
        do_stuff_with(foo)
    else:
        foo : float
        do_other_stuff_with(foo)

def type_annotation_fn():
    # False negative: the value of `bar` is never used, but this is masked by the presence of the type annotation.
    bar = 5
    bar : int
