Remove todo

typetools · May 31, 2023 · ef69228 · ef69228
1 parent 27af675
commit ef69228
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/checker-qual/src/main/java/org/checkerframework/framework/qual/TypeUseLocation.java b/checker-qual/src/main/java/org/checkerframework/framework/qual/TypeUseLocation.java
@@ -17,8 +17,6 @@ public enum TypeUseLocation {
   /**
    * Apply default annotations to all unannotated raw types of local variables, casts, and
    * instanceof.
-   *
-   * <p>TODO: should cast/instanceof be separated?
    */
   LOCAL_VARIABLE,