Merge pull request #17978 from igfoo/igfoo/issafeaccess

KE2: Rename safeAccess to isSafeAccess
This commit is contained in:
Ian Lynagh
2024-11-14 11:28:23 +00:00
committed by GitHub

View File

@@ -2362,7 +2362,7 @@ private module Qualifier {
}
/** Holds if this member access is a `?.` safe qualified expression in Kotlin. */
predicate safeAccess() { ktSafeAccess(this) }
predicate isSafeAccess() { ktSafeAccess(this) }
}
/**