Add context parameter applications properties

natsukagami · natsukagami · commit b1f223a4e162 · 2025-09-01T16:19:54.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/semanticdb/SyntheticsExtractor.scala b/compiler/src/dotty/tools/dotc/semanticdb/SyntheticsExtractor.scala
@@ -72,7 +72,8 @@ class SyntheticsExtractor:
             range(tree.span, tree.source),
             s.ApplyTree(
               tree.fun.toSemanticOriginal,
-              tree.args.map(_.toSemanticTree)
+              tree.args.map(_.toSemanticTree),
+              SymbolInformation.Property.GIVEN.value
             )
           ).toOpt
 

Original file line number	Diff line number	Diff line change
`@@ -72,7 +72,8 @@ class SyntheticsExtractor:`
`72`	`72`	`range(tree.span, tree.source),`
`73`	`73`	`s.ApplyTree(`
`74`	`74`	`tree.fun.toSemanticOriginal,`
`75`		`- tree.args.map(_.toSemanticTree)`
	`75`	`+ tree.args.map(_.toSemanticTree),`
	`76`	`+ SymbolInformation.Property.GIVEN.value`
`76`	`77`	`)`
`77`	`78`	`).toOpt`
`78`	`79`