revert #424

tofu-tf · Jan 21, 2021 · c4a6a8e · c4a6a8e
1 parent e032ab5
commit c4a6a8e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/derivation/src/test/scala/tofu/higherKind/derived/RepresentableKSuite.scala b/derivation/src/test/scala/tofu/higherKind/derived/RepresentableKSuite.scala
@@ -99,7 +99,5 @@ object RepresentableKSuite {
     def bar(a: List[Int]): F[Unit]
 
     def baz(a: List[String]): OptionT[F, Unit]
-
-    def widen[G[x] >: F[x]]: Foo[G] = this.asInstanceOf[Foo[G]]
   }
 }
diff --git a/higherKindCore/src/main/scala/tofu/higherKind/derived/HigherKindedMacros.scala b/higherKindCore/src/main/scala/tofu/higherKind/derived/HigherKindedMacros.scala
@@ -35,8 +35,6 @@ class HigherKindedMacros(override val c: blackbox.Context) extends cats.tagless.
       case _                => Ident(p.name)
     }
 
-  def unimplementedMembersOf(tpe: Type): Iterable[Symbol] = overridableMembersOf(tpe).filter(_.isAbstract)
-
   // copied from the old version of cats.tagless.DeriveMacros
   private def summon[A: TypeTag](typeArgs: Type*): Tree = {
     val tpe = appliedType(typeOf[A].typeConstructor, typeArgs: _*)
@@ -45,7 +43,7 @@ class HigherKindedMacros(override val c: blackbox.Context) extends cats.tagless.
 
   private def tabulateTemplate(algebra: Type)(impl: TabulateParams): Type => Tree = {
     case PolyType(List(f), MethodType(List(hom), af)) =>
-      val members = unimplementedMembersOf(af)
+      val members = overridableMembersOf(af)
       val types   = delegateAbstractTypes(af, members, af)
       val repk    = impl.repk
       val alg     = TermName(c.freshName("alg"))
@@ -92,7 +90,7 @@ class HigherKindedMacros(override val c: blackbox.Context) extends cats.tagless.
           abort(s"something wrong with $faf parameter, this should not happen, also I hate macros")
       }
 
-      val members = unimplementedMembersOf(Af)
+      val members = overridableMembersOf(Af)
       val types   = delegateAbstractTypes(Af, members, Af)
 
       val methods = delegateMethods(Af, members, faf) {