Migrated from http://lampsvn.epfl.ch/trac/scala/ticket/639
Reporter mcdirmid
Weird problem with type checker losing members of map trait, code:

object Test {
  def foo(map : Map[String,AnyRef]) = map.get("hello")
}

Will lose get method quickly and may lose the trait with type parameters as it is replaced by something else. I'll trace to see whats going on.