Keep stable unused arguments

nicolasstucki · nicolasstucki · commit 6a40b84e55e6 · 2018-02-15T11:59:49.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -2135,7 +2135,8 @@ class Typer extends Namer
           if (!wtp.isUnusedMethod) args
           else args.map { arg =>
             arg.tpe match {
-              case _: AmbiguousImplicits | _: SearchFailureType => arg
+              case tpe if tpe.isStable => arg
+              case _: AmbiguousImplicits => arg
               case tpe => defaultValue(tpe)
             }
           }

Original file line number	Diff line number	Diff line change
`@@ -2135,7 +2135,8 @@ class Typer extends Namer`
`2135`	`2135`	`if (!wtp.isUnusedMethod) args`
`2136`	`2136`	`else args.map { arg =>`
`2137`	`2137`	`arg.tpe match {`
`2138`		`- case _: AmbiguousImplicits \| _: SearchFailureType => arg`
	`2138`	`+ case tpe if tpe.isStable => arg`
	`2139`	`+ case _: AmbiguousImplicits => arg`
`2139`	`2140`	`case tpe => defaultValue(tpe)`
`2140`	`2141`	`}`
`2141`	`2142`	`}`