diff options
author | Martin Odersky <odersky@gmail.com> | 2013-12-07 21:46:30 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-12-08 09:26:43 +0100 |
commit | 2f7e4a64179c4abf246aceff39857a14c8c46f68 (patch) | |
tree | e17dff7929499b5d7c03ee309cfffbdc7baed9e5 /src/dotty/tools/dotc/typer/Inferencing.scala | |
parent | 0067358e702ba7995e534a2272c569c4e2e4e80a (diff) | |
download | dotty-2f7e4a64179c4abf246aceff39857a14c8c46f68.tar.gz dotty-2f7e4a64179c4abf246aceff39857a14c8c46f68.tar.bz2 dotty-2f7e4a64179c4abf246aceff39857a14c8c46f68.zip |
Better reporting for pattern matching errors.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Inferencing.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Inferencing.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Inferencing.scala b/src/dotty/tools/dotc/typer/Inferencing.scala index addd3d881..8325549e6 100644 --- a/src/dotty/tools/dotc/typer/Inferencing.scala +++ b/src/dotty/tools/dotc/typer/Inferencing.scala @@ -208,7 +208,7 @@ object Inferencing { } } - /** Recursively and also follow type declarations and type aliases. */ + /** Recursively widen and also follow type declarations and type aliases. */ def widenForMatchSelector(tp: Type)(implicit ctx: Context): Type = tp.widen match { case tp: TypeRef if !tp.symbol.isClass => widenForMatchSelector(tp.bounds.hi) case tp => tp |