Concrete return type for MkFieldLens.mkFieldLens (#1324)

Co-authored-by: Lior Regev <lior.regev@placer.ai> Co-authored-by: Georgi Krastev <joro.kr.21@gmail.com>
milessabin · Sep 7, 2023 · 3d81218 · 3d81218
1 parent cdad7bb
commit 3d81218
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/core/shared/src/main/scala/shapeless/lenses.scala b/core/shared/src/main/scala/shapeless/lenses.scala
@@ -248,10 +248,10 @@ object MkFieldLens {
   implicit def mkFieldLens[A, K, R <: HList, B]
     (implicit
       mkGen: MkLabelledGenericLens.Aux[A, R],
-      mkLens: MkRecordSelectLens[R, K]): Aux[A, K, mkLens.Elem] =
+      mkLens: MkRecordSelectLens.Aux[R, K, B]): Aux[A, K, B] =
         new MkFieldLens[A, K] {
-          type Elem = mkLens.Elem
-          def apply(): Lens[A, mkLens.Elem] = mkLens() compose mkGen()
+          type Elem = B
+          def apply(): Lens[A, B] = mkLens() compose mkGen()
         }
 }