diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-01 22:10:17 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-03-01 22:11:45 +0100 |
| commit | 1d237bb1f0c7aac949b52601e26e96fff0fe4ffd (patch) | |
| tree | fc1f8cdcf01bc9939ee50b1d138c00616ddbc72d /compiler/src/dotty/tools/dotc/core/OrderingConstraint.scala | |
| parent | 58b71ca50ded400efa92ac8d92f4378844baaf7d (diff) | |
| download | dotty-1d237bb1f0c7aac949b52601e26e96fff0fe4ffd.tar.gz dotty-1d237bb1f0c7aac949b52601e26e96fff0fe4ffd.tar.bz2 dotty-1d237bb1f0c7aac949b52601e26e96fff0fe4ffd.zip | |
Make alignArgsInAnd safe and turn it on by default
Turned out hmaps.scala requires the arg alignment to compile.
So we have our first counterexample that we cannot drop this
hack. Now it is made safe in the sense that no constraints get
lost anymore.
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/OrderingConstraint.scala')
| -rw-r--r-- | compiler/src/dotty/tools/dotc/core/OrderingConstraint.scala | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/OrderingConstraint.scala b/compiler/src/dotty/tools/dotc/core/OrderingConstraint.scala index 72c7a8e51..61dd5a445 100644 --- a/compiler/src/dotty/tools/dotc/core/OrderingConstraint.scala +++ b/compiler/src/dotty/tools/dotc/core/OrderingConstraint.scala @@ -354,14 +354,6 @@ class OrderingConstraint(private val boundsMap: ParamBounds, updateEntry(p1, p1Bounds).replace(p2, p1) } - def narrowBound(param: PolyParam, bound: Type, isUpper: Boolean)(implicit ctx: Context): This = { - val oldBounds @ TypeBounds(lo, hi) = nonParamBounds(param) - val newBounds = - if (isUpper) oldBounds.derivedTypeBounds(lo, hi & bound) - else oldBounds.derivedTypeBounds(lo | bound, hi) - updateEntry(param, newBounds) - } - // ---------- Removals ------------------------------------------------------------ /** A new constraint which is derived from this constraint by removing |