@@ -159,8 +159,7 @@ class BuilderNode extends TDataFlowNodeStage1 {
    * this node still exists but will typically not flow anywhere.
    */
   predicate isReceiverParameter(Callable callable) {
-    this.isImplicitParameter(toDataFlowCallable(callable),
-      any(ParameterPosition p | p.isReceiver()))
+    this.isImplicitParameter(toDataFlowCallable(callable), any(ParameterPosition p | p.isReceiver()))
   }
 
   /** Holds if this node represents the receiver argument passed to `call`. */
Original file line number	Diff line number	Diff line change
`@@ -159,8 +159,7 @@ class BuilderNode extends TDataFlowNodeStage1 {`
`159`	`159`	`* this node still exists but will typically not flow anywhere.`
`160`	`160`	`*/`
`161`	`161`	`predicate isReceiverParameter(Callable callable) {`
`162`		`- this.isImplicitParameter(toDataFlowCallable(callable),`
`163`		`- any(ParameterPosition p \| p.isReceiver()))`
	`162`	`+ this.isImplicitParameter(toDataFlowCallable(callable), any(ParameterPosition p \| p.isReceiver()))`
`164`	`163`	`}`
`165`	`164`
`166`	`165`	/** Holds if this node represents the receiver argument passed to `call`. */