Ruby: Add change note

github · Dec 20, 2024 · 79cb62f · 79cb62f
1 parent 9b6698d
commit 79cb62f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/ruby/ql/lib/change-notes/2024-12-20-data-flow-types.md b/ruby/ql/lib/change-notes/2024-12-20-data-flow-types.md
@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* Types are now being tracked in data flow, but only when the type of an object is obvious from the context. For example, `C.new` has guaranteed type `C`, while in `def add(x, y) { x + y }` we cannot assign a type to `x + y` (it could, for instance, be both `String` and `Integer`). Tracking types allows us to remove false-positive results when type incompatibility can be established.