diff options
author | Martin Odersky <odersky@gmail.com> | 2016-06-30 18:42:29 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:35:07 +0200 |
commit | 34a068b7f6039637d6f1330e3d071f5bf75e9cec (patch) | |
tree | ef7b435c50e4110971721836ebdaf9e0d07b4328 /src/dotty/tools/dotc/typer/Inferencing.scala | |
parent | 32c0135b59fe02a70ed0b1a693251a0028d479c8 (diff) | |
download | dotty-34a068b7f6039637d6f1330e3d071f5bf75e9cec.tar.gz dotty-34a068b7f6039637d6f1330e3d071f5bf75e9cec.tar.bz2 dotty-34a068b7f6039637d6f1330e3d071f5bf75e9cec.zip |
Drop Config.checkKinds
Allows us to drop also the involved knownHK method. Lots of other
cleanups.
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 e024192c3..c60f4c1f2 100644 --- a/src/dotty/tools/dotc/typer/Inferencing.scala +++ b/src/dotty/tools/dotc/typer/Inferencing.scala @@ -176,7 +176,7 @@ object Inferencing { /** 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.info.bounds.hi) + widenForMatchSelector(tp.superType) case tp: HKApply => widenForMatchSelector(tp.superType) case tp: AnnotatedType => |