package p
trait T {
  Map<String, ? extends Number> map
}

class C implements p.T {
  void m() {
    map
  }
}