also of interest here: https://github.com/retronym/scala/blob/6fa9c78a56ab690de4db5bf7623f66545f2ac137/src/compiler/scala/tools/nsc/typechecker/Implicits.scala#L331