WIP SI-8460 Address regresisoni n divergent implicit recovery

The test case was extracted from scalanlp/breeze.

The regression occured in SI-7291 / accaa314.

After that commit, the shapeless-1.2.4-scala-2.11.x branch of
milessabin/shapeless also stopped; it works again after this
commit.