diff options
| author | Paul Phillips <paulp@improving.org> | 2012-01-14 23:48:24 -0800 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2012-01-14 23:50:03 -0800 |
| commit | c5b15c4d2997cf97b1998b2ae1d524b0b836e5fd (patch) | |
| tree | 252757a534691aff796d4ed553aa8aeeb13554f0 /src | |
| parent | 9eb56b99610d734088a0dd2da7cded49211eff3a (diff) | |
| download | scala-c5b15c4d2997cf97b1998b2ae1d524b0b836e5fd.tar.gz scala-c5b15c4d2997cf97b1998b2ae1d524b0b836e5fd.tar.bz2 scala-c5b15c4d2997cf97b1998b2ae1d524b0b836e5fd.zip | |
Fix for raw types issue found in the IDE.
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/scala/reflect/internal/Types.scala | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/compiler/scala/reflect/internal/Types.scala b/src/compiler/scala/reflect/internal/Types.scala index 3d3dd81f1b..dfe098e282 100644 --- a/src/compiler/scala/reflect/internal/Types.scala +++ b/src/compiler/scala/reflect/internal/Types.scala @@ -3365,7 +3365,9 @@ trait Types extends api.Types { self: SymbolTable => /** Guard these lists against AnyClass and NothingClass appearing, * else loBounds.isEmpty will have different results for an empty - * constraint and one with Nothing as a lower bound. + * constraint and one with Nothing as a lower bound. [Actually + * guarding addLoBound/addHiBound somehow broke raw types so it + * only guards against being created with them.] */ private var lobounds = lo0 filterNot (_.typeSymbolDirect eq NothingClass) private var hibounds = hi0 filterNot (_.typeSymbolDirect eq AnyClass) @@ -3384,8 +3386,7 @@ trait Types extends api.Types { self: SymbolTable => else if (!isNumericSubType(tp, numlo)) numlo = numericLoBound } - else if (tp.typeSymbolDirect ne NothingClass) - lobounds ::= tp + else lobounds ::= tp } def checkWidening(tp: Type) { @@ -3404,8 +3405,7 @@ trait Types extends api.Types { self: SymbolTable => else if (!isNumericSubType(numhi, tp)) numhi = numericHiBound } - else if (tp.typeSymbolDirect ne AnyClass) - hibounds ::= tp + else hibounds ::= tp } def isWithinBounds(tp: Type): Boolean = |