Imported From: https://issues.scala-lang.org/browse/SI-9361?orig=1
Reporter: @propensive
Affected Versions: 2.11.6
See #2712

@retronym said:
This regressed in https://github.com/scala/scala/pull/1564/files

I actually spotted one "non refactoring" amongst that patch when I originally reviewed it. The discussion seems to be lost in the ashes of paulp/scala, but I found this in my email:

With the current typer, they're the same thing. In some hypothetical future typer which doesn't mutate everything in place, only whereClauses1 is correct, because those are the trees which were just typed by typedStats. In principle they might not even be the same trees, although I don't think anyone is planning on a change like that.

I reverted that change and it doesn't fix the crash. So there must be another needle hidden in that haystack.

@retronym said:
Found it: scala/scala@9c09c17#diff-05c273d837c49f8b6278b19592a541beR173

@retronym said (edited on Jun 26, 2015 4:48:46 AM UTC):
Here's the introduction of foundType to improve the error messages:

scala/scala@05382e2

This seemingly was "refactored" out of use in:

scala/scala@c800d1f#diff-05c273d837c49f8b6278b19592a541beR147

Although the end result was still the same, thanks to the way the code was just mutating the access modifiers of members in the anonymous class.

@retronym said:
WIP fix: https://github.com/retronym/scala/tree/ticket/9361

@propensive said:
Based on the stack trace when the compiler crashes, I think I've stumbled across this same bug again, twice in a fortnight (on different projects). Common factor: me.

Here's a different, more complex (but still not easy to reduce much further) test case:

object Test {
  trait Foo {
    type Inner
    type Result = Ordering[Inner] // any invariant type constructor
    def get: Result
  }  

  trait Super
  trait Bar[T] extends Super { type Result = T }

  def wrap[V <: Super](v: V): Foo { type Inner = this.type with v.type } = ???
  
  val baz: Bar[_] = ???
  wrap(baz).get: Ordering[Foo { type Result = this.type }]
}

This version does appear to crash every version of the compiler between 2.10.3 and 2.12.0-M1.

@milessabin said:
[~propensive]'s example appears to be different ... it's not tripping the same (or indeed, any) assert as the one tripped by the example in the description of this ticket.

@milessabin said:
PR here.