class Lift {
  def apply(f: F0): Unit = {}

  class F0
  object F0 {
    implicit def f2f0(fn: String): F0 = ???
  }
}

object Test {
  val l = new Lift
  val f = ""

  "": l.F0 // okay

  l.apply("") // okay

  {
    val l = new Lift
    l.apply("") // okay
  }

  // fails trying to mkAttributedQualifier for pre = Skolem(_1 <: Lift with Singletom).F0
  // should this even have shown up in `companionImplicitMap`? It says that:
  //
  // "@return For those parts that refer to classes with companion objects that
  // can be accessed with unambiguous stable prefixes, the implicits infos
  // which are members of these companion objects."
  //
  // The skolem is stable, but it does not seem much good to us
  (new Lift).apply("")
}
