dotty.tools.dotc.typer.Implicits
A failed search
A note describing the failure in more detail - this is either empty or starts with a '\n'
A failed search