Shapeless 2.3.5+ can't provide implicit for Generic.Aux

After updating to Shapeless 2.3.5+ some code that used to work with 2.3.3 stopped compiling. A minimal example is:

import shapeless._

trait A
trait B[+A1 <: A]
case class C[T]()

case class D[A1 <: A, B1 <: B[A1]](c: C[B1]) {  
  def bind() = D.bind(this)
}

object D {
  def bind[T, L <: HList](t: T)(implicit gen: Generic.Aux[T, L]) = ???
}

It fails to compile with the following error:

shapeless.this.Generic.materialize is not a valid implicit value for shapeless.Generic.Aux[D[A1,B1],L] because:
hasMatchingSymbol reported error: inferred type arguments [Nothing,B1] do not conform to method apply's type parameter bounds [A1 <: A,B1 <: B[A1]]

[joroKr21]

Just released https://github.com/milessabin/shapeless/releases/tag/v2.3.8

[joroKr21]

Sorry, I didn’t manage - personal life got in the way 😄