diff options
author | Paul Phillips <paulp@improving.org> | 2009-05-14 16:04:02 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2009-05-14 16:04:02 +0000 |
commit | a4b9b4366e1923633465781b73653559188c7396 (patch) | |
tree | 17ed9541d1173e0f845f80eae5c721e77b040c2e | |
parent | 1b97e9821de77a233b78e2ad2e7a402d083f34b8 (diff) | |
download | scala-a4b9b4366e1923633465781b73653559188c7396.tar.gz scala-a4b9b4366e1923633465781b73653559188c7396.tar.bz2 scala-a4b9b4366e1923633465781b73653559188c7396.zip |
Obeyed another todo directive.
-rw-r--r-- | src/compiler/scala/tools/nsc/symtab/Types.scala | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/src/compiler/scala/tools/nsc/symtab/Types.scala b/src/compiler/scala/tools/nsc/symtab/Types.scala index 1f33b1b8a7..272b9cbe69 100644 --- a/src/compiler/scala/tools/nsc/symtab/Types.scala +++ b/src/compiler/scala/tools/nsc/symtab/Types.scala @@ -3760,19 +3760,11 @@ A type's typeSymbol should never be inspected directly. true case (RefinedType(parents1, ref1), _) => parents1 exists (_ <:< tp2) - - /* todo: replace following with - case (ThisType(_), _) - | {SingleType(_, _), _} - | {ConstantType(_), _} => - once patern matching bug is fixed */ case (_, NotNullType(ntp2)) => tp1.isNotNull && tp1 <:< ntp2 case (NotNullType(ntp1), _) => ntp1 <:< tp2 - case (ThisType(_), _) => tp1.underlying <:< tp2 - case (SingleType(_, _), _) => tp1.underlying <:< tp2 - case (ConstantType(_), _) => + case ((_: ThisType | _: SingleType | _: ConstantType), _) => tp1.underlying <:< tp2 case (TypeRef(pre1, sym1, args1), _) => |