Handle types that appear in effpi

We get types like the following in effpi:

    effpi.examples.demo.audit.types.Pay#replyTo

Author: liufengyun

compiler/src/dotty/tools/dotc/transform/init/Summarization.scala

@@ -206,7 +206,7 @@ object Summarization {
           val tp = tdef.symbol.info
           val traverser = new TypeTraverser {
             def traverse(tp: Type): Unit = tp match {
-              case tp: TermRef =>
+              case TermRef(_: SingletonType, _) =>
                 summary = summary + analyze(tp, tdef.rhs)
               case _ =>
                 traverseChildren(tp)
@@ -219,6 +219,10 @@ object Summarization {
       case _: Import | _: Export =>
         Summary.empty
 
+      case _: TermParamRef =>
+        // possible from type definitions
+        Summary.empty
+
       case _ =>
         throw new Exception("unexpected tree: " + expr.show)
     }
@@ -258,7 +262,7 @@ object Summarization {
         Summary(pots2, effs)
 
       case _ =>
-        throw new Exception("unexpected type: " + tp.show)
+        throw new Exception("unexpected type: " + tp)
     }
 
     if (env.isAlwaysInitialized(tp)) Summary(Potentials.empty, summary.effs)