https://gcc.gnu.org/bugzilla/show_bug.cgi?id=36183
--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> --- Sounds good. We'd probably get that by changing add_candidates to mark an explicit candidate as bad rather than non-viable, and then adding the explanation to convert_like_real.