Fix synthetic parameter generation for context types

odersky · odersky · commit 5b2a5ff91e33 · 2019-01-26T12:38:59.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
@@ -2160,7 +2160,9 @@ object Parsers {
         }
         else if (isContextual) {
           val tps = commaSeparated(refinedType)
-          val params = tps.map(makeSyntheticParameter(nparams + 1, _, Contextual | Implicit))
+          var counter = nparams
+          def nextIdx = { counter += 1; counter }
+          val params = tps.map(makeSyntheticParameter(nextIdx, _, Contextual | Implicit))
           params :: recur(firstClause = false, nparams + params.length)
         }
         else Nil

Original file line number	Diff line number	Diff line change
`@@ -2160,7 +2160,9 @@ object Parsers {`
`2160`	`2160`	`}`
`2161`	`2161`	`else if (isContextual) {`
`2162`	`2162`	`val tps = commaSeparated(refinedType)`
`2163`		`- val params = tps.map(makeSyntheticParameter(nparams + 1, _, Contextual \| Implicit))`
	`2163`	`+ var counter = nparams`
	`2164`	`+ def nextIdx = { counter += 1; counter }`
	`2165`	`+ val params = tps.map(makeSyntheticParameter(nextIdx, _, Contextual \| Implicit))`
`2164`	`2166`	`params :: recur(firstClause = false, nparams + params.length)`
`2165`	`2167`	`}`
`2166`	`2168`	`else Nil`