Use more context for implicit search only if no default argument

After an "implicit not found", we type additional arguments to get more context which might
give a larger implicit scope to search. With this commit we do that only if there is no
default argument for the implicit.

This might fix scala#23610

[Cherry-picked 975c988][modified]

Author: tgodzik