Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Jump to bottom

assertion failed: duplicate attachment for key dotty.tools.dotc.util.Property$Key@60f8c36 #13218

Closed
scf37 opened this issue Jul 30, 2021 · 6 comments · Fixed by #13224
Closed

assertion failed: duplicate attachment for key dotty.tools.dotc.util.Property$Key@60f8c36 #13218

scf37 opened this issue Jul 30, 2021 · 6 comments · Fixed by #13224
Assignees
@odersky
Labels
area:typer itype:bug itype:crash
Milestone
3.1.0

Comments

@scf37
Copy link

scf37 commented Jul 30, 2021

Compiler version

3.0.1

Minimized code

libraryDependencies += "org.scalatest" %% "scalatest" % "3.2.9"

import org.scalatest.freespec.AnyFreeSpec

class TagTest extends AnyFreeSpec {
  "a" - {
    "b" in {
      class TF[F[_]] {
      }
      val tf = new TF[Option]
      tf.a
    }
  }
}

Output (click arrow to expand)

[info] compiling 1 Scala source to /tmp/1/target/scala-3.0.1/classes ...
[info] exception occurred while typechecking /tmp/1/TagTest.scala
[info] exception occurred while compiling /tmp/1/TagTest.scala
java.lang.AssertionError: assertion failed: duplicate attachment for key dotty.tools.dotc.util.Property$Key@1b875603 while compiling /tmp/1/TagTest.scala
[error] ## Exception when compiling 1 sources to /tmp/1/target/scala-3.0.1/classes
[error] java.lang.AssertionError: assertion failed: duplicate attachment for key dotty.tools.dotc.util.Property$Key@1b875603
[error] scala.runtime.Scala3RunTime$.assertFailed(Scala3RunTime.scala:8)
[error] dotty.tools.dotc.util.Attachment$Container.pushAttachment(Attachment.scala:120)
[error] dotty.tools.dotc.util.Attachment$Container.pushAttachment$(Attachment.scala:101)
[error] dotty.tools.dotc.ast.Trees$Tree.pushAttachment(Trees.scala:56)
[error] dotty.tools.dotc.typer.Namer.recordSym(Namer.scala:124)
[error] dotty.tools.dotc.typer.Namer.createOrRefine$1(Namer.scala:239)
[error] dotty.tools.dotc.typer.Namer.createSymbol(Namer.scala:292)
[error] dotty.tools.dotc.typer.Namer.recur$1(Namer.scala:397)
[error] dotty.tools.dotc.typer.Namer.indexExpanded(Namer.scala:408)
[error] dotty.tools.dotc.typer.Namer.$anonfun$2(Namer.scala:650)
[error] scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:169)
[error] scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:165)
[error] scala.collection.immutable.List.foldLeft(List.scala:79)
[error] dotty.tools.dotc.typer.Namer.index(Namer.scala:650)
[error] dotty.tools.dotc.typer.Namer$TypeDefCompleter.completerTypeParams(Namer.scala:868)
[error] dotty.tools.dotc.typer.Namer$TypeDefCompleter.typeSig(Namer.scala:876)
[error] dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:826)
[error] dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:727)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:167)
[error] dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:188)
[error] dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:190)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:369)
[error] dotty.tools.dotc.typer.Namer.defDefSig$$anonfun$1(Namer.scala:1670)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] scala.collection.immutable.List.foreach(List.scala:333)
[error] dotty.tools.dotc.typer.Namer.defDefSig(Namer.scala:1670)
[error] dotty.tools.dotc.typer.Namer$Completer.typeSig(Namer.scala:703)
[error] dotty.tools.dotc.typer.Namer$Completer.completeInCreationContext(Namer.scala:826)
[error] dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:727)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:167)
[error] dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:188)
[error] dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:190)
[error] dotty.tools.dotc.typer.Namer$ClassCompleter.completeConstructor(Namer.scala:1174)
[error] dotty.tools.dotc.typer.Namer$ClassCompleter.completeInCreationContext(Namer.scala:1321)
[error] dotty.tools.dotc.typer.Namer$Completer.complete(Namer.scala:727)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:167)
[error] dotty.tools.dotc.core.Denotations$Denotation.completeInfo$1(Denotations.scala:188)
[error] dotty.tools.dotc.core.Denotations$Denotation.info(Denotations.scala:190)
[error] dotty.tools.dotc.core.SymDenotations$SymDenotation.ensureCompleted(SymDenotations.scala:369)
[error] dotty.tools.dotc.typer.Typer.retrieveSym(Typer.scala:2637)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2662)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2757)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2823)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2827)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2849)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2899)
[error] dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:1023)
[error] dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:1027)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2703)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
[error] dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$5(ProtoTypes.scala:439)
[error] dotty.tools.dotc.typer.ProtoTypes$FunProto.cacheTypedArg(ProtoTypes.scala:370)
[error] dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:440)
[error] dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:849)
[error] dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:849)
[error] dotty.tools.dotc.typer.Applications$Application.addTyped$1(Applications.scala:543)
[error] dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:608)
[error] dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:446)
[error] dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:734)
[error] dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:848)
[error] dotty.tools.dotc.typer.Applications.ApplyTo(Applications.scala:1056)
[error] dotty.tools.dotc.typer.Applications.ApplyTo$(Applications.scala:316)
[error] dotty.tools.dotc.typer.Typer.ApplyTo(Typer.scala:106)
[error] dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:903)
[error] dotty.tools.dotc.typer.Applications.realApply$5$$anonfun$4(Applications.scala:982)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:2951)
[error] dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:993)
[error] dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1031)
[error] dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:316)
[error] dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:106)
[error] dotty.tools.dotc.typer.Typer.typedInfixOp(Typer.scala:2586)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2734)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2823)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2827)
[error] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2943)
[error] dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:1029)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2703)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2823)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2827)
[error] dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$6$$anonfun$1(ProtoTypes.scala:395)
[error] dotty.tools.dotc.typer.ProtoTypes$FunProto.cacheTypedArg(ProtoTypes.scala:370)
[error] dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$7(ProtoTypes.scala:395)
[error] dotty.tools.dotc.typer.ProtoTypes$FunProto.$anonfun$adapted$1(ProtoTypes.scala:395)
[error] dotty.tools.dotc.core.Decorators$ListDecorator$.recur$1(Decorators.scala:168)
[error] dotty.tools.dotc.core.Decorators$ListDecorator$.mapWithIndexConserve$extension(Decorators.scala:174)
[error] dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArgs(ProtoTypes.scala:395)
[error] dotty.tools.dotc.typer.ProtoTypes$FunProto.isMatchedBy(ProtoTypes.scala:325)
[error] dotty.tools.dotc.core.TypeComparer.isMatchedByProto(TypeComparer.scala:1856)
[error] dotty.tools.dotc.core.TypeComparer.firstTry$1(TypeComparer.scala:305)
[error] dotty.tools.dotc.core.TypeComparer.recur(TypeComparer.scala:1282)
[error] dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:185)
[error] dotty.tools.dotc.core.TypeComparer.isSubType(TypeComparer.scala:195)
[error] dotty.tools.dotc.core.TypeComparer.topLevelSubType(TypeComparer.scala:128)
[error] dotty.tools.dotc.core.TypeComparer$.topLevelSubType(TypeComparer.scala:2673)
[error] dotty.tools.dotc.core.Types$Type.$less$colon$less(Types.scala:1032)
[error] dotty.tools.dotc.core.Types$Type.relaxed_$less$colon$less(Types.scala:1064)
[error] dotty.tools.dotc.typer.ProtoTypes$Compatibility.isCompatible(ProtoTypes.scala:39)
[error] dotty.tools.dotc.typer.ProtoTypes$Compatibility.isCompatible$(ProtoTypes.scala:26)
[error] dotty.tools.dotc.typer.ProtoTypes$NoViewsAllowed$.isCompatible(ProtoTypes.scala:131)
[error] dotty.tools.dotc.typer.ProtoTypes$Compatibility.testCompat$1(ProtoTypes.scala:56)
[error] dotty.tools.dotc.typer.ProtoTypes$Compatibility.normalizedCompatible(ProtoTypes.scala:82)
[error] dotty.tools.dotc.typer.ProtoTypes$Compatibility.normalizedCompatible$(ProtoTypes.scala:26)
[error] dotty.tools.dotc.typer.ProtoTypes$NoViewsAllowed$.normalizedCompatible(ProtoTypes.scala:131)
[error] dotty.tools.dotc.typer.ProtoTypes$SelectionProto.qualifies$1(ProtoTypes.scala:203)
[error] dotty.tools.dotc.typer.ProtoTypes$SelectionProto.isMatchedBy(ProtoTypes.scala:207)
[error] dotty.tools.dotc.typer.Typer.tryInsertImplicitOnQualifier(Typer.scala:3052)
[error] dotty.tools.dotc.typer.Applications.tryWithImplicitOnQualifier$4(Applications.scala:920)
[error] dotty.tools.dotc.typer.Applications.realApply$8$$anonfun$7(Applications.scala:990)
[error] dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:2954)
[error] dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:993)
[error] dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:1031)
[error] dotty.tools.dotc.typer.Applications.typedApply$(Applications.scala:316)
[error] dotty.tools.dotc.typer.Typer.typedApply(Typer.scala:106)
[error] dotty.tools.dotc.typer.Typer.typedInfixOp(Typer.scala:2586)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2734)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2823)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2827)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2876)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2899)
[error] dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:2354)
[error] dotty.tools.dotc.typer.Typer.typedTypeOrClassDef$2(Typer.scala:2683)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2687)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2757)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2823)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2827)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2849)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2899)
[error] dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:2477)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2728)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2758)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2823)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2827)
[error] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2943)
[error] dotty.tools.dotc.typer.FrontEnd.liftedTree1$1(FrontEnd.scala:79)
[error] dotty.tools.dotc.typer.FrontEnd.typeCheck$$anonfun$1(FrontEnd.scala:84)
[error] dotty.tools.dotc.typer.FrontEnd.monitor(FrontEnd.scala:43)
[error] dotty.tools.dotc.typer.FrontEnd.typeCheck(FrontEnd.scala:85)
[error] dotty.tools.dotc.typer.FrontEnd.runOn$$anonfun$3(FrontEnd.scala:120)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] scala.collection.immutable.List.foreach(List.scala:333)
[error] dotty.tools.dotc.typer.FrontEnd.runOn(FrontEnd.scala:120)
[error] dotty.tools.dotc.Run.runPhases$4$$anonfun$4(Run.scala:205)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] scala.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1323)
[error] dotty.tools.dotc.Run.runPhases$5(Run.scala:216)
[error] dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:224)
[error] scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)
[error] dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:67)
[error] dotty.tools.dotc.Run.compileUnits(Run.scala:231)
[error] dotty.tools.dotc.Run.compileSources(Run.scala:166)
[error] dotty.tools.dotc.Run.compile(Run.scala:150)
[error] dotty.tools.dotc.Driver.doCompile(Driver.scala:39)
[error] dotty.tools.xsbt.CompilerBridgeDriver.run(CompilerBridgeDriver.java:88)
[error] dotty.tools.xsbt.CompilerBridge.run(CompilerBridge.java:22)
[error] sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:91)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$7(MixedAnalyzingCompiler.scala:186)
[error] scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)
[error] sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:241)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4(MixedAnalyzingCompiler.scala:176)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4$adapted(MixedAnalyzingCompiler.scala:157)
[error] sbt.internal.inc.JarUtils$.withPreviousJar(JarUtils.scala:239)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:157)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:204)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:528)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:528)
[error] sbt.internal.inc.Incremental$.$anonfun$apply$5(Incremental.scala:174)
[error] sbt.internal.inc.Incremental$.$anonfun$apply$5$adapted(Incremental.scala:172)
[error] sbt.internal.inc.Incremental$$anon$2.run(Incremental.scala:457)
[error] sbt.internal.inc.IncrementalCommon$CycleState.next(IncrementalCommon.scala:116)
[error] sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:56)
[error] sbt.internal.inc.IncrementalCommon$$anon$1.next(IncrementalCommon.scala:52)
[error] sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:261)
[error] sbt.internal.inc.Incremental$.$anonfun$incrementalCompile$8(Incremental.scala:412)
[error] sbt.internal.inc.Incremental$.withClassfileManager(Incremental.scala:499)
[error] sbt.internal.inc.Incremental$.incrementalCompile(Incremental.scala:399)
[error] sbt.internal.inc.Incremental$.apply(Incremental.scala:166)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:528)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:482)
[error] sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:332)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:420)
[error] sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:137)
[error] sbt.Defaults$.compileIncrementalTaskImpl(Defaults.scala:2346)
[error] sbt.Defaults$.$anonfun$compileIncrementalTask$2(Defaults.scala:2303)
[error] sbt.internal.io.Retry$.apply(Retry.scala:46)
[error] sbt.internal.io.Retry$.apply(Retry.scala:28)
[error] sbt.internal.io.Retry$.apply(Retry.scala:23)
[error] sbt.internal.server.BspCompileTask$.compute(BspCompileTask.scala:31)
[error] sbt.Defaults$.$anonfun$compileIncrementalTask$1(Defaults.scala:2299)
[error] scala.Function1.$anonfun$compose$1(Function1.scala:49)
[error] sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:62)
[error] sbt.std.Transform$$anon$4.work(Transform.scala:68)
[error] sbt.Execute.$anonfun$submit$2(Execute.scala:282)
[error] sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:23)
[error] sbt.Execute.work(Execute.scala:291)
[error] sbt.Execute.$anonfun$submit$1(Execute.scala:282)
[error] sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:265)
[error] sbt.CompletionService$$anon$2.call(CompletionService.scala:64)
[error] java.util.concurrent.FutureTask.run(FutureTask.java:266)
[error] java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
[error] java.util.concurrent.FutureTask.run(FutureTask.java:266)
[error] java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
[error] java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
[error] java.lang.Thread.run(Thread.java:748)
[error]            
[error] stack trace is suppressed; run last Compile / compileIncremental for the full output
[error] (Compile / compileIncremental) java.lang.AssertionError: assertion failed: duplicate attachment for key dotty.tools.dotc.util.Property$Key@1b875603
[error] Total time: 0 s, completed Jul 30, 2021 6:16:04 PM
@scf37
Copy link
Author

scf37 commented Jul 30, 2021

It tends to crash on any compilation error, e.g. tf.a can be replaced with meow

@odersky
Copy link
Contributor

odersky commented Jul 30, 2021

Can we get a self contained example of this? Then I would take a look.

@scf37
Copy link
Author

scf37 commented Jul 30, 2021

smaller code to reproduce the issue:

class TagTest extends AnyFreeSpec:
  "a" - {
    "b" in {
      class TF[F[_]]
      meow
    }
  }

Unfortunately scalatest is essential dependency

@odersky
Copy link
Contributor

odersky commented Jul 30, 2021

Can you make a mock of AnyFreeSpec with the - and in methods? Does it work then?

I am afraid I personally won't have time to reproduce or fix tests with external dependencies.

@smarter smarter added the stat:needs minimization Needs a self contained minimization label Jul 30, 2021
@scf37
Copy link
Author

scf37 commented Jul 30, 2021

I was afraid it is related to scalatest macros but it isn't. Here is isolated example:

class TagTest extends AnyFreeSpec:
  "a" - {
    "b" in {
      class TF[F[_]]
      meow
    }
  }


trait AnyFreeSpec:
  protected class Wrapper(s: String):
    def -(f: => Unit): Unit = ???
    def in(f: => Unit): Unit = ???

  implicit def wrap(s: String): Wrapper = ???

@smarter smarter added area:typer and removed stat:needs minimization Needs a self contained minimization labels Jul 30, 2021
@odersky
Copy link
Contributor

odersky commented Jul 30, 2021

@scf37 thanks for minimizing it!

@odersky odersky self-assigned this Jul 30, 2021
odersky added a commit to dotty-staging/dotty that referenced this issue Jul 31, 2021
@odersky
Weaken assertion for duplicate attachments
7e745f0 
Fixes scala#13218

The test shows that there are situations where an error is reported
in a different context than where the assertion is tested.
@odersky odersky mentioned this issue Jul 31, 2021
Merged
tanishiking pushed a commit to tanishiking/scala3 that referenced this issue Aug 10, 2021
@odersky @tanishiking
Weaken assertion for duplicate attachments
844175c 
Fixes scala#13218

The test shows that there are situations where an error is reported
in a different context than where the assertion is tested.
@Kordyjan Kordyjan added this to the 3.1.0 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@odersky odersky

Labels
area:typer itype:bug itype:crash
Projects
None yet
Milestone
3.1.0
Development

Successfully merging a pull request may close this issue.

Weaken assertion for duplicate attachments dotty-staging/dotty
4 participants
@smarter @odersky @scf37 @Kordyjan