test-nsc/files/pos/infer2.scala


1
2
3
4
5
6
7
8
9
10

object test {

  def f[a, b <: a](x: b): a = x: a;
  def g[a >: b, b](x: b): a = x: a;

  val x: int = f(1);
  val y: String = g("")

}