diff options
| author | Martin Odersky <odersky@gmail.com> | 2003-08-14 18:36:02 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2003-08-14 18:36:02 +0000 |
| commit | df43fa3f64f2bff8321246684e731243b0fe93ea (patch) | |
| tree | ab5d83cce3ad2c22f213cb60dac4e47f3d842d8f /sources/scalac/typechecker/Infer.java | |
| parent | f92d38c415f89214dfea5e86f79e091b2c573551 (diff) | |
| download | scala-df43fa3f64f2bff8321246684e731243b0fe93ea.tar.gz scala-df43fa3f64f2bff8321246684e731243b0fe93ea.tar.bz2 scala-df43fa3f64f2bff8321246684e731243b0fe93ea.zip | |
*** empty log message ***
Diffstat (limited to 'sources/scalac/typechecker/Infer.java')
| -rw-r--r-- | sources/scalac/typechecker/Infer.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/scalac/typechecker/Infer.java b/sources/scalac/typechecker/Infer.java index b3a6babae5..30ed7086a4 100644 --- a/sources/scalac/typechecker/Infer.java +++ b/sources/scalac/typechecker/Infer.java @@ -449,8 +449,8 @@ public class Infer implements Modifiers, Kinds { : !upper; tvars[i] = Type.NoType; Type bound = up ? tparams[i].info() : tparams[i].loBound(); - if (up && bound != Global.instance.definitions.ANY_TYPE || - !up && bound != Global.instance.definitions.ALL_TYPE) { + if (up && bound.symbol() != Global.instance.definitions.ANY_CLASS || + !up && bound.symbol() != Global.instance.definitions.ALL_CLASS) { boolean cyclic = false; for (int j = 0; j < tvars.length; j++) { if (bound.contains(tparams[j]) || |