Hash-cons CompactAnnotations

Author: odersky

compiler/src/dotty/tools/dotc/core/Annotations.scala

@@ -198,6 +198,11 @@ object Annotations {
 
     override def refersToParamOf(tl: TermLambda)(using Context): Boolean =
       refersToLambdaParam(tp, tl)
+
+    override def hash: Int = tp.hash
+    override def eql(that: Annotation) = that match
+      case that: CompactAnnotation => this.tp `eql` that.tp
+      case _ => false
   end CompactAnnotation
 
   /** Sanitize @retains arguments to approximate illegal types that could cause a compilation

tests/neg-custom-args/captures/spread-problem.check

@@ -7,8 +7,6 @@
 11 |  race(src1, src2) // error
    |       ^^^^^^^^^^
    |       Found:    (Source[T]^, Source[T]^)
-   |       Required: Seq[Source[T]^{C}]
-   |
-   |       where:    C is a type variable with constraint >: scala.caps.CapSet and <: scala.caps.CapSet^
+   |       Required: Seq[Source[T]^]
    |
    | longer explanation available when compiling with `-explain`