test-nsc/files/pos/propagate.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

class C {

  def f[a](x: a): a = {

    class D() {
      def g(x: a) = f(x): a;
    }

    new D().g(x);

  }

}