Crash for package as type in case class parameter

[sir-wabbit]

Minimized code

I am not entirely sure what is so special about annotation package specifically.

// AE-849ee60dd96904e7816fa161283ffe67aac01aea
case class i0(I1: annotation)

This one compiles:

class i0(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): i0 = new i0(I1)
  def copy$default$1: annotation.type =
    i0.this.I1:(i0.this.I1 : annotation) @uncheckedVariance
  def _1: annotation = this.I1
}
error while transforming @scala.annotation.internal.SourceFile("test.scala") case class i0(I1: annotation
  )
 extends Object(), _root_.scala.Product, _root_.scala.Serializable {
  val I1: annotation
  def copy(I1: annotation): i0 = new i0(I1)
  def copy$default$1: annotation.type =
    i0.this.I1:(i0.this.I1 : annotation) @uncheckedVariance
  def _1: annotation = this.I1
}
error while transforming package <empty> {
  @scala.annotation.internal.SourceFile("test.scala") case class i0(
    I1: annotation
  ) extends Object(), _root_.scala.Product, _root_.scala.Serializable {
    val I1: annotation
    def copy(I1: annotation): i0 = new i0(I1)
    def copy$default$1: annotation.type =
      i0.this.I1:(i0.this.I1 : annotation) @uncheckedVariance
    def _1: annotation = this.I1
  }
  final lazy module val i0: i0$ = new i0$()
  final module class i0$() extends Object(), Function1[annotation, i0], _root_.
    scala
  .Serializable { this: i0.type =>
    def apply(I1: annotation): i0 = new i0(I1)
    def unapply(x$1: i0): i0 = x$1
  }
}
exception occurred while compiling test.scala
java.lang.AssertionError: assertion failed: no member this.I1 . ==, members = Scope{
  class switch?
  final lazy module object switch?
  final module object switch$: <notype>
  class implicitAmbiguous?
  final lazy module object implicitAmbiguous?
  final module object implicitAmbiguous$: <notype>
  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$: <notype>
  class varargs?
  final lazy module object varargs?
  final module object varargs$: <notype>
  class unused?
  final lazy module object unused?
  final module object unused$: <notype>
  final class implicitNotFound?
  final lazy module object implicitNotFound?
  final module object implicitNotFound$: <notype>
  final private[scala] class migration?
  final lazy module object migration?
  final module object migration$: <notype>
  class strictfp?
  final lazy module object strictfp?
  final module object strictfp$: <notype>
  final class compileTimeOnly?
  final lazy module object compileTimeOnly?
  final module object compileTimeOnly$: <notype>
  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>
  final class tailrec?
  final lazy module object tailrec?
  final module object tailrec$: <notype>
  class showAsInfix?
  final lazy module object showAsInfix?
  final module object showAsInfix$?
  final class elidable?
  final lazy module object elidable?
  final module object elidable$?
  class threadUnsafe?
  final lazy module object threadUnsafe?
  final module object threadUnsafe$: <notype>
  class alpha?
  final lazy module object alpha?
  final module object alpha$: <notype>
  trait RefiningAnnotation?
  final lazy module object RefiningAnnotation?
  final module object RefiningAnnotation$: <notype>
  class infix?
  final lazy module object infix?
  final module object infix$: <notype>
  class static?
  final lazy module object static?
  final module object static$: <notype>
  class superTrait?
  final lazy module object superTrait?
  final module object superTrait$: <notype>
  class constructorOnly?
  final lazy module object constructorOnly?
  final module object constructorOnly$: <notype>
  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 test.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$: <notype>
  class implicitAmbiguous?
  final lazy module object implicitAmbiguous?
  final module object implicitAmbiguous$: <notype>
  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$: <notype>
  class varargs?
  final lazy module object varargs?
  final module object varargs$: <notype>
  class unused?
  final lazy module object unused?
  final module object unused$: <notype>
  final class implicitNotFound?
  final lazy module object implicitNotFound?
  final module object implicitNotFound$: <notype>
  final private[scala] class migration?
  final lazy module object migration?
  final module object migration$: <notype>
  class strictfp?
  final lazy module object strictfp?
  final module object strictfp$: <notype>
  final class compileTimeOnly?
  final lazy module object compileTimeOnly?
  final module object compileTimeOnly$: <notype>
  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>
  final class tailrec?
  final lazy module object tailrec?
  final module object tailrec$: <notype>
  class showAsInfix?
  final lazy module object showAsInfix?
  final module object showAsInfix$?
  final class elidable?
  final lazy module object elidable?
  final module object elidable$?
  class threadUnsafe?
  final lazy module object threadUnsafe?
  final module object threadUnsafe$: <notype>
  class alpha?
  final lazy module object alpha?
  final module object alpha$: <notype>
  trait RefiningAnnotation?
  final lazy module object RefiningAnnotation?
  final module object RefiningAnnotation$: <notype>
  class infix?
  final lazy module object infix?
  final module object infix$: <notype>
  class static?
  final lazy module object static?
  final module object static$: <notype>
  class superTrait?
  final lazy module object superTrait?
  final module object superTrait$: <notype>
  class constructorOnly?
  final lazy module object constructorOnly?
  final module object constructorOnly$: <notype>
  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 dotty.DottyPredef$.assertFail(DottyPredef.scala:17)
	at dotty.tools.dotc.ast.Trees$Instance.applyOverloaded(Trees.scala:1559)
	at dotty.tools.dotc.ast.tpd$TreeOps$.equal$extension(tpd.scala:943)
	at dotty.tools.dotc.transform.SyntheticMembers.$anonfun$11(SyntheticMembers.scala:233)
	at scala.collection.immutable.List.map(List.scala:246)
	at dotty.tools.dotc.transform.SyntheticMembers.equalsBody$1(SyntheticMembers.scala:233)
	at dotty.tools.dotc.transform.SyntheticMembers.syntheticRHS$1(SyntheticMembers.scala:125)
	at dotty.tools.dotc.transform.SyntheticMembers.syntheticDef$3$$anonfun$2$$anonfun$1(SyntheticMembers.scala:134)
	at dotty.tools.dotc.transform.SyntheticMembers.synthesizeDef$$anonfun$1(SyntheticMembers.scala:84)
	at dotty.tools.dotc.ast.tpd$.polyDefDef(tpd.scala:287)
	at dotty.tools.dotc.ast.tpd$.DefDef(tpd.scala:225)
	at dotty.tools.dotc.transform.SyntheticMembers.synthesizeDef(SyntheticMembers.scala:84)
	at dotty.tools.dotc.transform.SyntheticMembers.syntheticDef$1(SyntheticMembers.scala:134)
	at dotty.tools.dotc.transform.SyntheticMembers.syntheticDefIfMissing$1(SyntheticMembers.scala:106)
	at dotty.tools.dotc.transform.SyntheticMembers.caseAndValueMethods$$anonfun$1(SyntheticMembers.scala:355)
	at scala.collection.immutable.List.flatMap(List.scala:293)
	at dotty.tools.dotc.transform.SyntheticMembers.caseAndValueMethods(SyntheticMembers.scala:355)
	at dotty.tools.dotc.transform.SyntheticMembers.addSyntheticMembers(SyntheticMembers.scala:531)
	at dotty.tools.dotc.transform.PostTyper$PostTyperTransformer.transform$$anonfun$4(PostTyper.scala:295)
	at dotty.tools.dotc.transform.PostTyper$PostTyperTransformer.withNoCheckNews(PostTyper.scala:97)
	at dotty.tools.dotc.transform.PostTyper$PostTyperTransformer.transform(PostTyper.scala:296)
	at dotty.tools.dotc.ast.Trees$Instance$TreeMap.transform(Trees.scala:1349)
	at dotty.tools.dotc.transform.MacroTransform$Transformer.transform(MacroTransform.scala:54)
	at dotty.tools.dotc.transform.PostTyper$PostTyperTransformer.transform(PostTyper.scala:318)
	at dotty.tools.dotc.ast.Trees$Instance$TreeMap.transform$$anonfun$2(Trees.scala:1371)
	at scala.collection.immutable.List.mapConserve(List.scala:472)
	at dotty.tools.dotc.ast.Trees$Instance$TreeMap.transform(Trees.scala:1371)
	at dotty.tools.dotc.ast.Trees$Instance$TreeMap.transformStats(Trees.scala:1369)
	at dotty.tools.dotc.ast.Trees$Instance$TreeMap.transform(Trees.scala:1356)
	at dotty.tools.dotc.transform.MacroTransform$Transformer.transform(MacroTransform.scala:54)
	at dotty.tools.dotc.transform.PostTyper$PostTyperTransformer.transform(PostTyper.scala:380)
	at dotty.tools.dotc.transform.MacroTransform.run(MacroTransform.scala:21)
	at dotty.tools.dotc.core.Phases$Phase.runOn$$anonfun$1(Phases.scala:318)
	at scala.collection.immutable.List.map(List.scala:246)
	at dotty.tools.dotc.core.Phases$Phase.runOn(Phases.scala:319)
	at dotty.tools.dotc.Run.runPhases$4$$anonfun$4(Run.scala:180)
	at dotty.runtime.function.JProcedure1.apply(JProcedure1.java:15)
	at dotty.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:190)
	at dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:198)
	at dotty.runtime.function.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
	at dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:64)
	at dotty.tools.dotc.Run.compileUnits(Run.scala:205)
	at dotty.tools.dotc.Run.compileSources(Run.scala:142)
	at dotty.tools.dotc.Run.compile(Run.scala:124)
	at dotty.tools.dotc.Driver.doCompile(Driver.scala:38)
	at dotty.tools.dotc.Driver.process(Driver.scala:194)
	at dotty.tools.dotc.Driver.process(Driver.scala:163)
	at dotty.tools.dotc.Driver.process(Driver.scala:175)
	at dotty.tools.dotc.Driver.main(Driver.scala:202)
	at dotty.tools.dotc.Main.main(Main.scala)

[bishabosha]

i believe this works with any package

[griggt]

Fixed by #14888