Checking for double definitions among class definitions.

Also fixes to typedReturn.

Adapted tests accordingly.

1 files changed, 7 insertions, 1 deletions

diff --git a/src/dotty/tools/dotc/core/Denotations.scala b/src/dotty/tools/dotc/core/Denotations.scala
index c0b805eeb..f21075f11 100644
--- a/src/dotty/tools/dotc/core/Denotations.scala
+++ b/src/dotty/tools/dotc/core/Denotations.scala
@@ -359,7 +359,13 @@ object Denotations {
     final def signature(implicit ctx: Context): Signature = {
       if (isType) Signature.NotAMethod // don't force info if this is a type SymDenotation
       else info match {
-        case info: SignedType => info.signature
+        case info: SignedType =>
+          try info.signature
+          catch { // !!! DEBUG
+            case ex: MatchError =>
+              println(s"cannot take signature of ${info.show}")
+              throw ex
+          }
         case _ => Signature.NotAMethod
       }
     }