Merge pull request #17961 from igfoo/igfoo/ke2_erasure

KE2: Remove erasure
github · Nov 12, 2024 · 83b3e8c · 83b3e8c
2 parents 212143f + cfb269e
commit 83b3e8c
Show file tree

Hide file tree

Showing 12 changed files with 4,932 additions and 116 deletions.
diff --git a/java/downgrades/1fd1afa7862b82955785edd29820054ab6c9ec81/erasure.ql b/java/downgrades/1fd1afa7862b82955785edd29820054ab6c9ec81/erasure.ql
@@ -0,0 +1,9 @@
+class ClassOrInterface extends @classorinterface {
+  string toString() { none() }
+}
+
+from ClassOrInterface x, ClassOrInterface y
+where
+  classes_or_interfaces(x, _, _, y) and
+  x != y
+select x, y