Ruby: Apply nomagic on parameterMatch instead

This commit is contained in:
Rasmus Wriedt Larsen
2022-05-25 10:07:02 +02:00
parent 0bf0e0e16c
commit f7e58a9335

View File

@@ -546,7 +546,7 @@ class ArgumentPosition extends TArgumentPosition {
}
/** Holds if arguments at position `apos` match parameters at position `ppos`. */
pragma[inline]
pragma[nomagic]
predicate parameterMatch(ParameterPosition ppos, ArgumentPosition apos) {
ppos.isSelf() and apos.isSelf()
or