Predicate compatibleContents
Holds if a value stored with storeContents
can be read back with loadContents
.
Import path
import codeql.ruby.typetracking.TypeTrackerSpecific
predicate compatibleContents(TypeTrackerContent storeContents, TypeTrackerContent loadContents)