github653224
diff --git a/‎python-checks/src/main/java/org/sonar/python/checks/UnusedLocalVariableCheck.java‎
Lines changed: 9 additions & 0 deletions b/‎python-checks/src/main/java/org/sonar/python/checks/UnusedLocalVariableCheck.java‎
Lines changed: 9 additions & 0 deletions
diff --git a/‎python-checks/src/test/resources/checks/unusedLocalVariable.py‎
Lines changed: 11 additions & 0 deletions b/‎python-checks/src/test/resources/checks/unusedLocalVariable.py‎
Lines changed: 11 additions & 0 deletions
@@ -24,6 +24,7 @@
 import org.sonar.check.Rule;
 import org.sonar.plugins.python.api.PythonSubscriptionCheck;
 import org.sonar.plugins.python.api.SubscriptionContext;
+import org.sonar.plugins.python.api.tree.AnnotatedAssignment;
 import org.sonar.plugins.python.api.tree.CallExpression;
 import org.sonar.plugins.python.api.tree.ComprehensionExpression;
 import org.sonar.plugins.python.api.tree.DictCompExpression;
@@ -72,10 +73,18 @@ private static void checkLocalVars(SubscriptionContext ctx, Tree functionTree, S
 
   private static boolean hasOnlyBindingUsages(Symbol symbol) {
     List<Usage> usages = symbol.usages();
+    if (isOnlyTypeAnnotation(usages)) {
+      return false;
+    }
     return usages.stream().noneMatch(usage -> usage.kind() == Usage.Kind.IMPORT)
       && usages.stream().allMatch(Usage::isBindingUsage);
   }
 
+  private static boolean isOnlyTypeAnnotation(List<Usage> usages) {
+    return usages.size() == 1 && usages.get(0).isBindingUsage() &&
+      TreeUtils.firstAncestor(usages.get(0).tree(), t -> t.is(Kind.ANNOTATED_ASSIGNMENT) && ((AnnotatedAssignment) t).assignedValue() == null) != null;
+  }
+
   private static boolean isTupleDeclaration(Tree tree) {
     return TreeUtils.firstAncestor(tree, t -> t.is(Kind.TUPLE)
         || (t.is(Kind.EXPRESSION_LIST) && ((ExpressionList) t).expressions().size() > 1)
 
@@ -66,3 +66,14 @@ def for_loops():
 def unused_import():
     import foo        # OK, should be handled in a dedicated rule
     from x import y   # OK, should be handled in a dedicated rule
+
+def no_fp_type_annotation():
+    value: str  # OK
+
+def no_fp_type_annotation_2():
+    value: str  # OK
+    return [int(value) for value in something()]
+
+def no_fn_type_annotation_with_assignment():
+    value: str = "hello"  # Noncompliant
+    return [int(value) for value in something()]