Merge pull request #2917 from dotty-staging/fix-order-implicits

DarkDimius · web-flow · commit 9233de31ec31 · 2017-08-02T17:09:19.000+02:00
Fix the order of implicit context bound parameters
diff --git a/compiler/src/dotty/tools/dotc/ast/Desugar.scala b/compiler/src/dotty/tools/dotc/ast/Desugar.scala
@@ -222,7 +222,7 @@ object desugar {
       case evidenceParams =>
         val vparamss1 = meth.vparamss.reverse match {
           case (vparams @ (vparam :: _)) :: rvparamss if vparam.mods is Implicit =>
-            ((vparams ++ evidenceParams) :: rvparamss).reverse
+            ((evidenceParams ++ vparams) :: rvparamss).reverse
           case _ =>
             meth.vparamss :+ evidenceParams
         }

Original file line number	Diff line number	Diff line change
`@@ -222,7 +222,7 @@ object desugar {`
`222`	`222`	`case evidenceParams =>`
`223`	`223`	`val vparamss1 = meth.vparamss.reverse match {`
`224`	`224`	`case (vparams @ (vparam :: _)) :: rvparamss if vparam.mods is Implicit =>`
`225`		`- ((vparams ++ evidenceParams) :: rvparamss).reverse`
	`225`	`+ ((evidenceParams ++ vparams) :: rvparamss).reverse`
`226`	`226`	`case _ =>`
`227`	`227`	`meth.vparamss :+ evidenceParams`
`228`	`228`	`}`