Type inference issue

ti.scala

object Example {
  trait H[A]

  def id[A]: H[A] => H[A] = in => in

  def apply[A,B](h: H[A], f: H[A] => H[B]): H[B] = f(h)
  def applyIdExplicitType[A](h: H[A]): H[A] = apply(h, id)

  // Fails in 2.11,2.12,2.13-M2, works in Dotty
  // found   : Example.H[Nothing] => Example.H[Nothing]
  // required: Example.H[A] => Example.H[B]
  def applyIdInferredType[A](h: H[A]) = apply(h, id)
}