remove comment suggesting that the receiver is parameter -1

This commit is contained in:
Erik Krogh Kristensen
2022-02-28 15:21:19 +01:00
parent 843ed8fca5
commit 5130929358

View File

@@ -655,8 +655,6 @@ module API {
* Holds if `arg` is passed as an argument to a use of `base`.
*
* `lbl` is represents which parameter of the function was passed. Either a numbered parameter, or a keyword parameter.
*
* The receiver is considered to be argument -1.
*/
private predicate argumentPassing(TApiNode base, Label::ApiLabel lbl, DataFlow::Node arg) {
exists(DataFlow::Node use, DataFlow::LocalSourceNode pred |