scala/scala — pull request #697 by retronym (2012-06-10 07:45:02+00:00)
Title: SI-4270 Disqualify in scope implicits that are shadowed.

If an expression wouldn't type check explicitly, it shouldn't be
allowed implicitly.

Employs `typedIdent`, which already does this sort of thing rather well,
instead of continuing to reimplement it in `Implicits`.

Remove check for non-implicit synonym, which is subsumed by typing an `Ident`.

Also fixes SI-5376.

Typing the `Ident` will be a touch slower, but I don't get consistent build times for `quick.comp` on my laptop at the best of times, so I couldn't determine if is a problem.

Resubmission of #692 that accommodates Scaladoc's usage of implicit search.

Review by @adriaanm.