path: root/test/files/neg/implicits.check

implicits.scala:21: error: type mismatch;
 found   : Pos
 required: ?{val +: ?}
Note that implicit conversions are not applicable because they are ambiguous:
 both method any2plus in object Sub of type (Any)Sub.Plus
 and method pos2int in object Super of type (Pos)int
 are possible conversion functions from Pos to ?{val +: ?}
  f(p+1)
    ^
one error found