Skip to content

Commit a0bf2c7

Browse files
oderskysmarter
authored andcommitted
Make skolems uncached
There was no reason in the first case to cache them, as their equality is reference identity. Maybe this fixes the OOM errors we encounter.
1 parent c4714b6 commit a0bf2c7

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/dotty/tools/dotc/core/Types.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2506,11 +2506,11 @@ object Types {
25062506
// ----- Skolem types -----------------------------------------------
25072507

25082508
/** A skolem type reference with underlying type `binder`. */
2509-
abstract case class SkolemType(info: Type) extends CachedProxyType with ValueType with SingletonType {
2509+
abstract case class SkolemType(info: Type) extends UncachedProxyType with ValueType with SingletonType {
25102510
override def underlying(implicit ctx: Context) = info
25112511
def derivedSkolemType(info: Type)(implicit ctx: Context) =
25122512
if (info eq this.info) this else SkolemType(info)
2513-
override def computeHash: Int = identityHash
2513+
override def hashCode: Int = identityHash
25142514
override def equals(that: Any) = this eq that.asInstanceOf[AnyRef]
25152515
override def toString = s"Skolem($info)"
25162516
}

0 commit comments

Comments
 (0)