diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-10-28 16:04:00 +0100 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-10-30 17:22:13 +0100 |
| commit | f60f81fd7b6ed5f6fb692069ebbc46f2b8098894 (patch) | |
| tree | 7208ff412a95ba39edaf0dc4b6a61d91932f7e9a /src/dotty/tools/dotc/transform/PatternMatcher.scala | |
| parent | ba4fee76dd5d93e52672e223633539e932ccf0b6 (diff) | |
| download | dotty-f60f81fd7b6ed5f6fb692069ebbc46f2b8098894.tar.gz dotty-f60f81fd7b6ed5f6fb692069ebbc46f2b8098894.tar.bz2 dotty-f60f81fd7b6ed5f6fb692069ebbc46f2b8098894.zip | |
Flag dotty deviation for return type which is part of cake.
Diffstat (limited to 'src/dotty/tools/dotc/transform/PatternMatcher.scala')
| -rw-r--r-- | src/dotty/tools/dotc/transform/PatternMatcher.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/transform/PatternMatcher.scala b/src/dotty/tools/dotc/transform/PatternMatcher.scala index 6e8b58f56..9ba8d54c7 100644 --- a/src/dotty/tools/dotc/transform/PatternMatcher.scala +++ b/src/dotty/tools/dotc/transform/PatternMatcher.scala @@ -779,10 +779,11 @@ class PatternMatcher extends MiniPhaseTransform with DenotTransformer {thisTrans // is this purely a type test, e.g. no outer check, no equality tests (used in switch emission) //def isPureTypeTest = renderCondition(pureTypeTestChecker) - def impliesBinderNonNull(binder: Symbol):Boolean = + def impliesBinderNonNull(binder: Symbol): Boolean = // @odersky: scalac is able to infer in this method that nonNullImpliedByTestChecker.Result, // dotty instead infers type projection TreeMakers.this.TypeTestTreeMaker.TypeTestCondStrategy#Result // which in turn doesn't typecheck in this method. Can you please explain why? + // dotty deviation renderCondition(nonNullImpliedByTestChecker(binder)).asInstanceOf[Boolean] override def toString = "TT"+((expectedTp, testedBinder.name, nextBinderTp)) |