diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-02-16 13:12:37 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-02-21 18:42:50 +0100 |
| commit | 77fc4d0831dc7a7ddaa74677e2659cdea4a2f52f (patch) | |
| tree | a55363c03dca3a56767ed37b0cd36bb5bb009f13 /src/dotty/tools/dotc/typer/Implicits.scala | |
| parent | c3f4e845d6354931ac011073219b8a133446c381 (diff) | |
| download | dotty-77fc4d0831dc7a7ddaa74677e2659cdea4a2f52f.tar.gz dotty-77fc4d0831dc7a7ddaa74677e2659cdea4a2f52f.tar.bz2 dotty-77fc4d0831dc7a7ddaa74677e2659cdea4a2f52f.zip | |
Disentangling SelectionProto and RefinedType
There were too many problems caused by it, and too little gained. So, now SelectionProto is no longer a Subtype of RefinedType.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Implicits.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Implicits.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Implicits.scala b/src/dotty/tools/dotc/typer/Implicits.scala index 74e79269f..a66864269 100644 --- a/src/dotty/tools/dotc/typer/Implicits.scala +++ b/src/dotty/tools/dotc/typer/Implicits.scala @@ -76,7 +76,7 @@ object Implicits { def discard = pt match { case pt: ViewProto => discardForView(ref.widen, pt.argType) - case _: ValueType => !defn.isFunctionType(pt) && discardForValueType(ref.widen) + case _: ValueTypeOrProto => !defn.isFunctionType(pt) && discardForValueType(ref.widen) case _ => false } |