We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
When running scala -Ycheck:typer, entering
scala -Ycheck:typer
scala> case class A()
will produce the following output:
exception while typing x$$1 exception while typing A.this.eq(x$$1) exception while typing A.this.eq(x$$1).|| <console>:4: error: **** ERROR DURING INTERNAL CHECKING **** type mismatch; found : x$$1.type (with underlying type Any) required: AnyRef case class A() ^ exception while typing x$$1 exception while typing A.this.eq(x$$1) exception while typing A.this.eq(x$$1).|| exception while typing A.this.eq(x$$1).||(x$$1 match { case A() => true case _ => false }) exception while typing x$$1.isInstanceOf[AnyRef].&&(A.this.eq(x$$1).||(x$$1 match { case A() => true case _ => false })) exception while typing override def equals(x$$1: Any): Boolean = x$$1.isInstanceOf[AnyRef].&&(A.this.eq(x$$1).||(x$$1 match { case A() => true case _ => false }))
It's not confined to the interpreter, though (happens also with scalac). Specifying other compiler phases in -Ycheck will show the same behavior.
-Ycheck
The text was updated successfully, but these errors were encountered:
Imported From: https://issues.scala-lang.org/browse/SI-1424?orig=1 Reporter: @TiarkRompf
Sorry, something went wrong.
@paulp said: Let's make this a duplicate of #2577, as they fail identically.
No branches or pull requests
When running
scala -Ycheck:typer
, enteringwill produce the following output:
It's not confined to the interpreter, though (happens also with scalac). Specifying other compiler phases in
-Ycheck
will show the same behavior.The text was updated successfully, but these errors were encountered: