Fix scala#6900: Support chained polymorphic extension methods

smarter · smarter · commit 3d7636d80b7a · 2019-07-21T10:54:46.000-04:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Applications.scala b/compiler/src/dotty/tools/dotc/typer/Applications.scala
@@ -1841,7 +1841,7 @@ trait Applications extends Compatibility { self: Typer with Dynamic =>
    */
   def extMethodApply(methodRef: untpd.Tree, receiver: Tree, pt: Type)(implicit ctx: Context) = {
     val (core, pt1) = pt.revealIgnored match {
-      case PolyProto(targs, restpe) => (untpd.TypeApply(methodRef, targs.map(untpd.TypedSplice(_))), restpe)
+      case PolyProto(targs, restpe) => (untpd.TypeApply(methodRef, targs.map(untpd.TypedSplice(_))), IgnoredProto(restpe))
       case _ => (methodRef, pt)
     }
     val app =

Original file line number	Diff line number	Diff line change
`@@ -1841,7 +1841,7 @@ trait Applications extends Compatibility { self: Typer with Dynamic =>`
`1841`	`1841`	`*/`
`1842`	`1842`	`def extMethodApply(methodRef: untpd.Tree, receiver: Tree, pt: Type)(implicit ctx: Context) = {`
`1843`	`1843`	`val (core, pt1) = pt.revealIgnored match {`
`1844`		`- case PolyProto(targs, restpe) => (untpd.TypeApply(methodRef, targs.map(untpd.TypedSplice(_))), restpe)`
	`1844`	`+ case PolyProto(targs, restpe) => (untpd.TypeApply(methodRef, targs.map(untpd.TypedSplice(_))), IgnoredProto(restpe))`
`1845`	`1845`	`case _ => (methodRef, pt)`
`1846`	`1846`	`}`
`1847`	`1847`	`val app =`