dotty.tools.dotc.typer.Implicits
A search failure that can show information about the cause
An explanation of the cause of the failure as a string
A note describing the failure in more detail - this is either empty or starts with a '\n'
A search failure that can show information about the cause