scala/scala — pull request #692 by retronym (2012-06-09 10:35:33+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.

Review by @adriaanm.