Kotlin: Add more type check casts to MissingInstanceofInEquals query

Author: tamasvajk

java/ql/src/Likely Bugs/Comparison/MissingInstanceofInEquals.ql

@@ -26,6 +26,10 @@ class CheckedCast extends CastExpr {
 predicate hasTypeTest(Variable v) {
   any(InstanceOfExpr ioe).getExpr() = v.getAnAccess()
   or
+  any(NotInstanceOfExpr nioe).getExpr() = v.getAnAccess()
+  or
+  any(SafeCastExpr sce).getExpr() = v.getAnAccess()
+  or
   exists(MethodAccess ma |
     ma.getMethod().getName() = "getClass" and
     ma.getQualifier() = v.getAnAccess()

java/ql/test/kotlin/query-tests/MissingInstanceofInEquals/MissingInstanceofInEquals.expected

@@ -1,2 +0,0 @@
-| Test.kt:0:0:0:0 | equals | equals() method does not seem to check argument type. |
-| Test.kt:4:14:6:5 | equals | equals() method does not seem to check argument type. |