selectDynamic swallows type parameters

[scabug]

Exhibit #1:

import language.dynamics

object Foo extends Dynamic {
  def selectDynamic(name: String) = ???
  println(this.bar[Int])
}

[[syntax trees at end of                     typer]] // Test.scala
package <empty> {
  import scala.language.dynamics;
  object Foo extends AnyRef with Dynamic {
    def <init>(): Foo.type = {
      Foo.super.<init>();
      ()
    };
    def selectDynamic(name: String): Nothing = scala.this.Predef.???;
    scala.this.Predef.println(this.selectDynamic("bar"))
  }
}

Exhibit #2:

import language.dynamics

object Foo extends Dynamic {
  def selectDynamic[T](name: String) = ???
  println(this.bar[Int])
}

[[syntax trees at end of                     typer]] // Test.scala
package <empty> {
  import scala.language.dynamics;
  object Foo extends AnyRef with Dynamic {
    def <init>(): Foo.type = {
      Foo.super.<init>();
      ()
    };
    def selectDynamic[T >: Nothing <: Any](name: String): Nothing = scala.this.Predef.???;
    scala.this.Predef.println(this.selectDynamic[Nothing]("bar"))
  }
}

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-6731?orig=1
Reporter: @xeno-by
Affected Versions: 2.10.0-RC2

[scabug]

@paulp said:
This needed a rewrite. Patch pending.

[scabug]

@paulp said:
scala/scala#1681