Open scabug opened 10 years ago
Imported From: https://issues.scala-lang.org/browse/SI-8545?orig=1 Reporter: @retronym Affected Versions: 2.11.0
@adriaanm said: Labelling as "language-change" to indicate it could break source compatibility.
Scala 3.4.0-RC2 says
-- [E057] Type Mismatch Error: -------------------------------------------------
17 | (implicit rv: Reverse[P]): Aux[P, S, rv.Out] = ???
| ^
|Type argument rv.Out does not conform to upper bound ParboiledLite.HList
If you add the bound it works on Scala 3.1.1 - but of course there is no Shapeless 2 for Scala 3
First pass at a minimization from 78974e6241b8f4498c7ae2669fc406947282a660 in https://github.com/sirthias/parboiled2/tree/wip/scala-2.11-possible-regression
Compiles in 2.10.4 but reports divergence in 2.11.0. I think the root problem exists in both versions and was unmasked by Hubert's fix to implicit divergence suppression in 2.11.
I've got some WIP on the compiler side here: https://github.com/retronym/scala/tree/ticket/8460-3