Scala Buggabot

@paulp said: Here is an example with fewer elements. Note that if C[T] is instead C[-T], this compiles. ```scala class C[T] class A { def f: C[S1] forSome { type...

@adriaanm said: I also ran into this while working on #6493. This does not typecheck: ```scala class Test { val c: x forSome { type x

Imported From: https://issues.scala-lang.org/browse/SI-6493?orig=1 Reporter: Kartik Subramanian (selfification) Affected Versions: 2.9.2 Attachments: - [diff.png](https://issues.scala-lang.org/secure/attachment/15509/diff.png) (created on Feb 21, 2013 4:45:00 PM UTC, 300105 bytes)

@paulp said: In 2.10 this gives the following, which is pretty cool because it involves multiple, far-flung bug fixes. ```scala scala> def foo = { class Foo { class Bar...

Kartik Subramanian (selfification) said (edited by @paulp on Feb 1, 2013 6:57:34 AM UTC): That's cool! I updated to scala 2.10.0-M7 and retried: ```scala scala> def foo() = { object...

@paulp said: As is typically the case with seemingly repl bugs, this is a compiler bug with separate compilation. ```scala // a.scala object one { def foo() = { object...

@paulp said: I'm taking the extreme measure of attaching a screenshot because it's so much more effective at showing what is happening than is anything I can accomplish via jira....

@retronym said: I'd point the finger at erasure. ```scala // end of uncurry def foo(): lang.this.Object{type Bar

@retronym said: I was too quick to blame `erasure`. A corrupt `TypeRef` is being passed all the way from `typer`. ``` def foo#7445(): scala#21.this.AnyRef#2222{type Bar#12153

@retronym said (edited on May 31, 2013 12:12:23 PM UTC): Here's an attempted fix: https://github.com/retronym/scala/compare/ticket/6493