Can't overload methods on reflection artifacts

[scabug]

20:37 ~/Projects/Master/sandbox (master)$ cat Test.scala
import scala.reflect.runtime.universe._

object Test extends App {
  def foo(s: Symbol) = ???
  def foo(ts: TermSymbol) = ???
}
20:37 ~/Projects/Master/sandbox (master)$ scalac Test.scala
Test.scala:5: error: double definition:
def foo(s: reflect.runtime.universe.Symbol): Nothing at line 4 and
def foo(ts: reflect.runtime.universe.TermSymbol): Nothing at line 5
have same type after erasure: (s: scala.reflect.api.Symbols#SymbolApi)Nothing
  def foo(ts: TermSymbol) = ???
      ^
one error found

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-8190?orig=1
Reporter: @xeno-by
See #8063

[scabug]

@xeno-by said (edited on Jan 27, 2014 6:37:36 PM UTC):
Here are the corresponding definitions:

type Symbol >: Null <: SymbolApi

type TermSymbol >: Null <: Symbol with TermSymbolApi
trait TermSymbolApi extends SymbolApi { this: TermSymbol => ... }

If one thinks about it, it's clear why TermSymbol erases to SymbolApi. Symbol is the first component of a compound type, and it erases to SymbolApi.

I'll change TermSymbol to say <: TermSymbolApi with Symbol, but in the meanwhile we could think why not scan other components of compound types looking for a base class that refines the erasure of the first component.

[scabug]

@xeno-by said:
scala/scala#3452