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/Constraint.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/Constraint.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/core/Constraint.scala | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/Constraint.scala b/compiler/src/dotty/tools/dotc/core/Constraint.scala index c99b748b7..50136a26c 100644 --- a/compiler/src/dotty/tools/dotc/core/Constraint.scala +++ b/compiler/src/dotty/tools/dotc/core/Constraint.scala @@ -111,12 +111,6 @@ abstract class Constraint extends Showable { */ def replace(param: PolyParam, tp: Type)(implicit ctx: Context): This - /** Narrow one of the bounds of type parameter `param` - * If `isUpper` is true, ensure that `param <: `bound`, otherwise ensure - * that `param >: bound`. - */ - def narrowBound(param: PolyParam, bound: Type, isUpper: Boolean)(implicit ctx: Context): This - /** Is entry associated with `pt` removable? This is the case if * all type parameters of the entry are associated with type variables * which have their `inst` fields set. |