t0209.scala:15: error: type mismatch;
 found   : C
 required: _14 where val _14: A
    (new B: A).f(new C)
                 ^
one error found