Imported From: https://issues.scala-lang.org/browse/SI-4518?orig=1
Reporter: tupshin
See #1980
Duplicates #1980

@odersky said:
It seems to have to do with the fact that the Singleton upper bounds is stripped somewhere.

@dragos said:
Actually, this fails the same way with 2.8.1, but works with 2.8.0.

@adriaanm said (edited on May 23, 2011 8:47:14 AM UTC):
changing the broken_val line to

val broke_val = tempval.-:(new AnyRef {}) // type mismatch error only when assigning

works around the bug... the prefix method call expansion seems to be ruining the dependent method types party

smaller test case and typer output:

object Test {
  trait Foo[T] 

  trait Bar {
    def -:(core: AnyRef): Foo[core.type] = error("")
  }

  val tempval: Bar = error("")
  val cor: AnyRef = error("")
  
  val ok : Foo[cor.type] = tempval.-:(cor)
  val oops : Foo[cor.type] = cor -: tempval 
}

    private[this] val ok: Test.Foo[Test.cor.type] = Test.this.tempval.-:(Test.this.cor);
    <stable> <accessor> def ok: Test.Foo[Test.cor.type] = Test.this.ok;
    private[this] val oops: Test.Foo[Test.cor.type] = {
      <synthetic> val x$1: AnyRef = Test.this.cor;
      Test.this.tempval.-:(x$1)
    };
    <stable> <accessor> def oops: Test.Foo[Test.cor.type] = Test.this.oops

@retronym said:
Merging into #1980

It wasn't fixed under the linked ticket after all.

The code in this example can be compiled.

Also, the -Xexperimental option has been deprecated since Scala 2.13.0, so the issue itself can be closed.

It is added as a pos test in the linked PR, which may make it into 2.13.7. Presumably it did not compile on pre-release 2.13.

Edit: I couldn't reproduce whatever failure I witnessed. Feb 2019 was a couple of computers ago. I tried M5 and RC1.

It's the Adriaan reduction that fails. That is because rassoc rewrite extracts the expression in parser, so some context is lost; the linked PR rewrites in typer.

@som-snytt (care to revise the issue title, if we're leaving this open? the current title attracted my attention since -Xexperimental no longer exists)

I'm glad I left a few breadcrumbs for future self. Here's Adriaan's reduction again:

object Test {
  trait Foo[T]

  trait Bar {
    def -:(core: AnyRef): Foo[core.type] = error("")
  }

  val tempval: Bar = error("")
  val cor: AnyRef = error("")

  val ok : Foo[cor.type] = tempval.-:(cor)
  val oops : Foo[cor.type] = cor -: tempval

  def error(s: String) = ???
}

currently 2.13.12

t4518b.scala:13: error: type mismatch;
 found   : Test.Foo[rassoc$1.type]
 required: Test.Foo[Test.cor.type]
  val oops : Foo[cor.type] = cor -: tempval
                                 ^
1 error

I see that is a pos test on my branch but not yet pushed to the PR. I will need to catch up because

On branch issue/5073-rassoc-method-value
Your branch and 'upstream/2.13.x' have diverged,
and have 1 and 1014 different commits each, respectively.

oh man, that's sbt 1.8.2, I have to downgrade my jdk.

OK, it compiles on that branch. I suspect Lukas was just giving me a hard time on the last mile. It will take me a bit to rebase because I'm starting season 2 of Dawson's Creek, they're literally still kissing. I think cliffhanger is specialized lingo for whatever generation that is.

I can't improve on Adriaan's description, except one tweak for length.