NoSuchMethodError on invocation on structural type with polymorphic result type

[scabug]

The following compiles, but leads to a !NoSuchMethodException when run, when the method $$plus is looked for in Integer:

java.lang.!NoSuchMethodException: java.lang.Integer.$$plus(int)

I'm running the latest nightly build of the tycho-reorg branch of the Scala IDE for Eclipse.

object Main extends Application {
    val o = new Obj1
    
    o.incProperty(o.field _, o.field_= _)
    
}

class Obj1 {

  type Setter[T] = T => Unit
  type Getter[T] = () => T

  var field: Int = 4

  def incProperty[T <: Any{ def +(a: Int): T } ](get: Getter[T], set: Setter[T]) = {
  	set(get() + 1)
  }
}

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-3669?orig=1
Reporter: Jean-Philippe Pellet (jppellet)
Affected Versions: 2.11.6

[scabug]

@harrah said:
fails:

scala> def x[T <: Any { def +(t: Int): T }](t: T) = t + 2

scala> x(3)
java.lang.NoSuchMethodException ...

fails:

scala> def x[T](t: Any {def +(b: Int): T }) = t + 2

scala> x(5)
java.lang.NoSuchMethodException ...

works:

scala> def x[T <: Any { def +(t: Int): Int }](t: T) = t + 2

scala> x(3)
res0: Int = 5

works:

scala> def x(t: Any {def +(b: Int): Int }) = t + 2

scala> x(3)
res1: Int = 5

[scabug]

@paulp said:
See also #4693.