Ruby: Add change note

github · Dec 20, 2024 · 8996662 · 8996662
1 parent 6ffd2b6
commit 8996662
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.