ICE: java.lang.AssertionError: assertion failed: no member this.i1 . ==, members = Scope{....

[chengniansun]

Compiler Version

Scala compiler version 3.0.1-RC1-bin-SNAPSHOT-git-4410752 -- Copyright 2002-2021, LAMP/EPFL

System Information

Linux 5.4.0-66-generic x86_64 GNU/Linux

Minimized Code

case class i1 ( i1 : annotation )

Output (click arrow to expand)

error while transforming (i1: annotation) extends Object(), _root_.scala.Product, _root_.scala.Serializable {
  val i1: annotation
  def copy(i1: annotation): i1 = new i1(i1)
  def copy$default$1: annotation @uncheckedVariance = i1.this.i1
  def _1: annotation = this.i1
}
error while transforming @scala.annotation.internal.SourceFile("mutant.scala") case class i1(i1: annotation) extends Object(), _root_.scala.Product, _root_.scala.Serializable {
  val i1: annotation
  def copy(i1: annotation): i1 = new i1(i1)
  def copy$default$1: annotation @uncheckedVariance = i1.this.i1
  def _1: annotation = this.i1
}
error while transforming package <empty> {
  @scala.annotation.internal.SourceFile("mutant.scala") case class i1(i1: annotation) extends Object(), _root_.scala.Product, _root_.scala.Serializable {
    val i1: annotation
    def copy(i1: annotation): i1 = new i1(i1)
    def copy$default$1: annotation @uncheckedVariance = i1.this.i1
    def _1: annotation = this.i1
  }
  final lazy module val i1: i1$ = new i1$()
  final module class i1$() extends AnyRef() { this: i1.type =>
    def apply(i1: annotation): i1 = new i1(i1)
    def unapply(x$1: i1): i1 = x$1
    override def toString: String = "i1"
  }
}
exception occurred while compiling mutant.scala
java.lang.AssertionError: assertion failed: no member this.i1 . ==, members = Scope{
  class switch?
  final lazy module object switch?
  final module object switch$?
  class implicitAmbiguous?
  final lazy module object implicitAmbiguous?
  final module object implicitAmbiguous$?
  trait ClassfileAnnotation?
  final lazy module object ClassfileAnnotation?
  final module object ClassfileAnnotation$: <notype>
  trait TypeConstraint?
  final lazy module object TypeConstraint?
  final module object TypeConstraint$: <notype>
  class unspecialized?
  final lazy module object unspecialized?
  final module object unspecialized$?
  class varargs?
  final lazy module object varargs?
  final module object varargs$?
  class unused?
  final lazy module object unused?
  final module object unused$?
  class implicitNotFound?
  final lazy module object implicitNotFound?
  final module object implicitNotFound$?
  private[scala] class migration?
  final lazy module object migration?
  final module object migration$?
  class strictfp?
  final lazy module object strictfp?
  final module object strictfp$?
  class compileTimeOnly?
  final lazy module object compileTimeOnly?
  final module object compileTimeOnly$?
  abstract class Annotation extends Object {} at (scala.annotation : annotation.type)
  final lazy module object Annotation?
  final module object Annotation$: <notype>
  class nowarn?
  final lazy module object nowarn?
  final module object nowarn$?
  abstract trait StaticAnnotation extends scala.annotation.Annotation {} at (scala.annotation : annotation.type)
  final lazy module object StaticAnnotation?
  final module object StaticAnnotation$: <notype>
  trait ConstantAnnotation?
  final lazy module object ConstantAnnotation?
  final module object ConstantAnnotation$: <notype>
  class tailrec?
  final lazy module object tailrec?
  final module object tailrec$?
  class showAsInfix?
  final lazy module object showAsInfix?
  final module object showAsInfix$?
  class elidable?
  final lazy module object elidable?
  final module object elidable$?
  class threadUnsafe?
  final lazy module object threadUnsafe?
  final module object threadUnsafe$?
  class alpha?
  final lazy module object alpha?
  final module object alpha$?
  trait RefiningAnnotation?
  final lazy module object RefiningAnnotation?
  final module object RefiningAnnotation$: <notype>
  class experimental?
  final lazy module object experimental?
  final module object experimental$?
  class targetName?
  final lazy module object targetName?
  final module object targetName$?
  class static?
  final lazy module object static?
  final module object static$?
  class transparentTrait?
  final lazy module object transparentTrait?
  final module object transparentTrait$?
  class constructorOnly?
  final lazy module object constructorOnly?
  final module object constructorOnly$?
  final lazy module object unchecked: scala.annotation.unchecked
  final module object unchecked extends  {this: scala.annotation.unchecked.type =>} at (scala.annotation : annotation.type)
  final lazy module object meta: scala.annotation.meta
  final module object meta extends  {this: scala.annotation.meta.type =>} at (scala.annotation : annotation.type)
  final lazy module object internal: scala.annotation.internal
  final module object internal extends  {this: scala.annotation.internal.type =>} at (scala.annotation : annotation.type)
} while compiling mutant.scala
Exception in thread "main" java.lang.AssertionError: assertion failed: no member this.i1 . ==, members = Scope{
  class switch?
  final lazy module object switch?
  final module object switch$?
  class implicitAmbiguous?
  final lazy module object implicitAmbiguous?
  final module object implicitAmbiguous$?
  trait ClassfileAnnotation?
  final lazy module object ClassfileAnnotation?
  final module object ClassfileAnnotation$: <notype>
  trait TypeConstraint?
  final lazy module object TypeConstraint?
  final module object TypeConstraint$: <notype>
  class unspecialized?
  final lazy module object unspecialized?
  final module object unspecialized$?
  class varargs?
  final lazy module object varargs?
  final module object varargs$?
  class unused?
  final lazy module object unused?
  final module object unused$?
  class implicitNotFound?
  final lazy module object implicitNotFound?
  final module object implicitNotFound$?
  private[scala] class migration?
  final lazy module object migration?
  final module object migration$?
  class strictfp?
  final lazy module object strictfp?
  final module object strictfp$?
  class compileTimeOnly?
  final lazy module object compileTimeOnly?
  final module object compileTimeOnly$?
  abstract class Annotation extends Object {} at (scala.annotation : annotation.type)
  final lazy module object Annotation?
  final module object Annotation$: <notype>
  class nowarn?
  final lazy module object nowarn?
  final module object nowarn$?
  abstract trait StaticAnnotation extends scala.annotation.Annotation {} at (scala.annotation : annotation.type)
  final lazy module object StaticAnnotation?
  final module object StaticAnnotation$: <notype>
  trait ConstantAnnotation?
  final lazy module object ConstantAnnotation?
  final module object ConstantAnnotation$: <notype>
  class tailrec?
  final lazy module object tailrec?
  final module object tailrec$?
  class showAsInfix?
  final lazy module object showAsInfix?
  final module object showAsInfix$?
  class elidable?
  final lazy module object elidable?
  final module object elidable$?
  class threadUnsafe?
  final lazy module object threadUnsafe?
  final module object threadUnsafe$?
  class alpha?
  final lazy module object alpha?
  final module object alpha$?
  trait RefiningAnnotation?
  final lazy module object RefiningAnnotation?
  final module object RefiningAnnotation$: <notype>
  class experimental?
  final lazy module object experimental?
  final module object experimental$?
  class targetName?
  final lazy module object targetName?
  final module object targetName$?
  class static?
  final lazy module object static?
  final module object static$?
  class transparentTrait?
  final lazy module object transparentTrait?
  final module object transparentTrait$?
  class constructorOnly?
  final lazy module object constructorOnly?
  final module object constructorOnly$?
  final lazy module object unchecked: scala.annotation.unchecked
  final module object unchecked extends  {this: scala.annotation.unchecked.type =>} at (scala.annotation : annotation.type)
  final lazy module object meta: scala.annotation.meta
  final module object meta extends  {this: scala.annotation.meta.type =>} at (scala.annotation : annotation.type)
  final lazy module object internal: scala.annotation.internal
  final module object internal extends  {this: scala.annotation.internal.type =>} at (scala.annotation : annotation.type)
}
	at scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
	at dotty.tools.dotc.ast.Trees$Instance.applyOverloaded(Trees.scala:1675)
	at dotty.tools.dotc.ast.tpd$TreeOps$.equal$extension(tpd.scala:962)
	at dotty.tools.dotc.transform.SyntheticMembers.$anonfun$12(SyntheticMembers.scala:255)
	at scala.collection.immutable.List.map(List.scala:246)
	at dotty.tools.dotc.transform.SyntheticMembers.equalsBody$1(SyntheticMembers.scala:255)
	at dotty.tools.dotc.transform.SyntheticMembers.syntheticRHS$1(SyntheticMembers.scala:146)
	at dotty.tools.dotc.transform.SyntheticMembers.syntheticDef$3$$anonfun$2$$anonfun$1(SyntheticMembers.scala:155)
	at dotty.tools.dotc.transform.SyntheticMembers.synthesizeDef$$anonfun$1(SyntheticMembers.scala:85)
	at dotty.tools.dotc.ast.tpd$.DefDef(tpd.scala:285)
	at dotty.tools.dotc.transform.SyntheticMembers.synthesizeDef(SyntheticMembers.scala:85)
	at dotty.tools.dotc.transform.SyntheticMembers.syntheticDef$1(SyntheticMembers.scala:155)
	at dotty.tools.dotc.transform.SyntheticMembers.syntheticDefIfMissing$1(SyntheticMembers.scala:110)
	at dotty.tools.dotc.transform.SyntheticMembers.caseAndValueMethods$$anonfun$1(SyntheticMembers.scala:383)
	at scala.collection.immutable.List.flatMap(List.scala:293)
	at dotty.tools.dotc.transform.SyntheticMembers.caseAndValueMethods(SyntheticMembers.scala:383)
	at dotty.tools.dotc.transform.SyntheticMembers.addSyntheticMembers(SyntheticMembers.scala:604)
	at dotty.tools.dotc.transform.PostTyper$PostTyperTransformer.transform$$anonfun$4(PostTyper.scala:344)
	at dotty.tools.dotc.transform.PostTyper$PostTyperTransformer.withNoCheckNews(PostTyper.scala:98)
	at dotty.tools.dotc.transform.PostTyper$PostTyperTransformer.transform(PostTyper.scala:345)
	at dotty.tools.dotc.ast.Trees$Instance$TreeMap.transform(Trees.scala:1410)
	at dotty.tools.dotc.transform.MacroTransform$Transformer.transform(MacroTransform.scala:51)
	at dotty.tools.dotc.transform.PostTyper$PostTyperTransformer.transform(PostTyper.scala:370)
	at dotty.tools.dotc.transform.MacroTransform$Transformer.transformStat$1(MacroTransform.scala:39)
	at dotty.tools.dotc.transform.MacroTransform$Transformer.transformStats$$anonfun$1(MacroTransform.scala:42)
	at dotty.tools.dotc.core.Decorators$ListDecorator$.loop$1(Decorators.scala:92)
	at dotty.tools.dotc.core.Decorators$ListDecorator$.mapconserve$extension(Decorators.scala:108)
	at dotty.tools.dotc.transform.MacroTransform$Transformer.transformStats(MacroTransform.scala:42)
	at dotty.tools.dotc.ast.Trees$Instance$TreeMap.transform(Trees.scala:1421)
	at dotty.tools.dotc.transform.MacroTransform$Transformer.transform(MacroTransform.scala:51)
	at dotty.tools.dotc.transform.PostTyper$PostTyperTransformer.transform(PostTyper.scala:435)
	at dotty.tools.dotc.transform.MacroTransform.run(MacroTransform.scala:21)
	at dotty.tools.dotc.core.Phases$Phase.runOn$$anonfun$1(Phases.scala:303)
	at scala.collection.immutable.List.map(List.scala:246)
	at dotty.tools.dotc.core.Phases$Phase.runOn(Phases.scala:304)
	at dotty.tools.dotc.Run.runPhases$4$$anonfun$4(Run.scala:205)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
	at scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
	at scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1323)
	at dotty.tools.dotc.Run.runPhases$5(Run.scala:216)
	at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:224)
	at scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)
	at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:67)
	at dotty.tools.dotc.Run.compileUnits(Run.scala:231)
	at dotty.tools.dotc.Run.compileSources(Run.scala:166)
	at dotty.tools.dotc.Run.compile(Run.scala:150)
	at dotty.tools.dotc.Driver.doCompile(Driver.scala:39)
	at dotty.tools.dotc.Driver.process(Driver.scala:199)
	at dotty.tools.dotc.Driver.process(Driver.scala:167)
	at dotty.tools.dotc.Driver.process(Driver.scala:179)
	at dotty.tools.dotc.Driver.main(Driver.scala:209)
	at dotty.tools.dotc.Main.main(Main.scala)

[griggt]

Possible duplicate of #9289