Rule for PolyImplicitOverload

Relevant Xlint code is at https://github.com/scala/scala/blob/2.11.x/src/compiler/scala/tools/nsc/typechecker/RefChecks.scala