You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is a regression introduced by this PR relating to the detection of term-owned companions. It looks as though it inadvertently broke the case where the type is the singleton type of an object, and so the companion is the object itself. The "object is the companion of its own singleton type" property is exploited by shapeless's Poly's, and so the result is that this breaks all method-local examples in the shapeless tests.
The following is a standalone reproduction of the issue,
This compiles with 2.12.1, but fails with 2.12.2 ("could not find implicit value for parameter e: shapeless.Bar2[Foo.type]"). If the definition of object Foo is moved out of wrap then the code compiles with 2.12.2.
The text was updated successfully, but these errors were encountered:
This is a regression introduced by this PR relating to the detection of term-owned companions. It looks as though it inadvertently broke the case where the type is the singleton type of an object, and so the companion is the object itself. The "object is the companion of its own singleton type" property is exploited by shapeless's
Poly
's, and so the result is that this breaks all method-local examples in the shapeless tests.The following is a standalone reproduction of the issue,
This compiles with 2.12.1, but fails with 2.12.2 (
"could not find implicit value for parameter e: shapeless.Bar2[Foo.type]"
). If the definition ofobject Foo
is moved out ofwrap
then the code compiles with 2.12.2.The text was updated successfully, but these errors were encountered: