Scala Buggabot

@retronym said: See also #7551 / https://github.com/retronym/scala/compare/ticket;7551 ``` commit b545e410e072600b1dc77c6b8536eb3c22cd657a Author: Jason Zaugg Date: Tue Jun 4 09:32:36 2013 +0200 WIP SI-7551 Ignore class file parser cycles in annotations But...

Francois Armand (fanf) said: I can confirm that the workaround allows to build our project again, and avoid displaying horrible debug information on the stdout. Thanks!

Hendy Irawan (ceefour) said: +1 for this

Imported From: https://issues.scala-lang.org/browse/SI-9430?orig=1 Reporter: @janekdb Affected Versions: 2.11.7

Imported From: https://issues.scala-lang.org/browse/SI-9764?orig=1 Reporter: @odersky See #5070

@retronym said (edited on Apr 21, 2016 11:18:26 PM UTC): Might be the same underlying issue as #5070

@retronym said: Nope, it is seems unrelated. My patch for #5070 doesn't help. (That said, you might want to look at the comments of that ticket again, Martin, as I...

@retronym said: Okay, the bounds of `T` don't contribute constraints because they are cyclic: https://github.com/scala/scala/blob/d24e298cbd955101a6b4342602b32ed37643dfb0/src/reflect/scala/reflect/internal/tpe/TypeConstraints.scala#L212 I guess this is to avoid having type vars on LHS and RHS of a...

@retronym said: Oh wait, I see that because `T` is contravariant in the result type `A[T]`, we actually are looking for a lower bound, so `C` makes sense. Maybe we...

@retronym said: I've got my ups and downs upside down, that last comment wasn't quite right. I see now that the key difference in inference is that scalac solves for...