diff options
author | Martin Odersky <odersky@gmail.com> | 2016-04-21 15:32:31 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-04-21 15:32:37 +0200 |
commit | 2460f9603b0f0ed1d73dfea99edcee9ba6261d36 (patch) | |
tree | ff9664d323adac7a8d882ba04b8a26590db3dfe2 /src/dotty/tools/dotc/transform/PatternMatcher.scala | |
parent | 0514d0efcdf159ea0ffdb51ac1e9a59d3ee429c0 (diff) | |
download | dotty-2460f9603b0f0ed1d73dfea99edcee9ba6261d36.tar.gz dotty-2460f9603b0f0ed1d73dfea99edcee9ba6261d36.tar.bz2 dotty-2460f9603b0f0ed1d73dfea99edcee9ba6261d36.zip |
Always minimize type variables when interpolating an expected type of an implicit.
This was suggested in #878.
Diffstat (limited to 'src/dotty/tools/dotc/transform/PatternMatcher.scala')
-rw-r--r-- | src/dotty/tools/dotc/transform/PatternMatcher.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/transform/PatternMatcher.scala b/src/dotty/tools/dotc/transform/PatternMatcher.scala index 35e772cd1..740fd5460 100644 --- a/src/dotty/tools/dotc/transform/PatternMatcher.scala +++ b/src/dotty/tools/dotc/transform/PatternMatcher.scala @@ -1611,7 +1611,7 @@ class PatternMatcher extends MiniPhaseTransform with DenotTransformer {thisTrans // (otherwise equality is required) def compareOp: (Tree, Tree) => Tree = if (aligner.isStar) _.select(defn.Int_>=).appliedTo(_) - else _.select(defn.Int_==).appliedTo(_) + else _.select(defn.Int_==).appliedTo(_) // `if (binder != null && $checkExpectedLength [== | >=] 0) then else zero` (seqTree(binder).select(defn.Any_!=).appliedTo(Literal(Constant(null)))).select(defn.Boolean_&&).appliedTo(compareOp(checkExpectedLength, Literal(Constant(0)))) |