diff options
| author | Paul Phillips <paulp@improving.org> | 2011-04-30 20:01:25 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2011-04-30 20:01:25 +0000 |
| commit | b4749d3b1afb1df236ec48fd3a773aab24a6f74d (patch) | |
| tree | 81792bd4de8dfb8c2beb6ad1418880947fb6e371 /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
| parent | 793796eee0769926a3162d69dd23c282ca2d8ba4 (diff) | |
| download | scala-b4749d3b1afb1df236ec48fd3a773aab24a6f74d.tar.gz scala-b4749d3b1afb1df236ec48fd3a773aab24a6f74d.tar.bz2 scala-b4749d3b1afb1df236ec48fd3a773aab24a6f74d.zip | |
Completely to my surprise, found that fixing al...
Completely to my surprise, found that fixing all those sequence issues
revealed that the pattern matcher can catch a lot more inexhaustive
cases than it has been catching. Fixed most of the inexhaustive matches
in the compiler, which had become a bit warnier. No review.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 2c89647c88..4a62c7c70d 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -2740,7 +2740,7 @@ trait Typers extends Modes { fun1clazz, List(selfsym.info, annClass.tpe)) - typed(func, mode, funcType) match { + (typed(func, mode, funcType): @unchecked) match { case t @ Function(List(arg), rhs) => val subs = new TreeSymSubstituter(List(arg.symbol),List(selfsym)) |