Update compiler/src/dotty/tools/dotc/typer/Checking.scala

nicolasstucki · smarter · web-flow · commit dfc33734fc8b · 2023-10-12T10:10:28.000+02:00
Co-authored-by: Guillaume Martres &lt;smarter@ubuntu.com&gt;
diff --git a/compiler/src/dotty/tools/dotc/typer/Checking.scala b/compiler/src/dotty/tools/dotc/typer/Checking.scala
@@ -839,7 +839,7 @@ object Checking {
         traverseChildren(tree)
 
     def reportNoRefinements(pos: SrcPos) =
-      report.error("PolyFunction refinement must have a refinements of the apply method", pos)
+      report.error("PolyFunction subtypes must refine the apply method", pos)
   }.traverse(tree)
 }
 

Original file line number	Diff line number	Diff line change
`@@ -839,7 +839,7 @@ object Checking {`
`839`	`839`	`traverseChildren(tree)`
`840`	`840`
`841`	`841`	`def reportNoRefinements(pos: SrcPos) =`
`842`		`- report.error("PolyFunction refinement must have a refinements of the apply method", pos)`
	`842`	`+ report.error("PolyFunction subtypes must refine the apply method", pos)`
`843`	`843`	`}.traverse(tree)`
`844`	`844`	`}`
`845`	`845`