Miles Sabin

icon indicating a website link http://milessabin.com/blog icon indicating an email [email protected]

icon company Underscore/Typelevel/shapeless/grackle icon location Brighton, UK icon location I do stuff with Scala. Partner at underscoreio, Typelevel cofounder, Scala SIP committee member. Type astronaut, shapeless/scalac/dotty hacker.

Results 92 comments of Miles Sabin

Implicit parameter not resolved from path-dependent type of another parameter’s default value

Yup, in that case the compiler sees `GInt` rather than (effectively) `GInt : G` (which would also fail).

Extended query tests

I don't think this is a compiler bug. The desugaring for right associated calls involves an assignment to an intermediate val (`rassoc$6` in this case) and this is enough to...