"Fix" compile error

modules/core/shared/src/main/scala/eu/timepit/refined/api/RefType.scala

@@ -24,11 +24,11 @@ trait RefType[F[_, _]] extends Serializable {
 
   def unsafeRewrap[T, A, B](ta: F[T, A]): F[T, B]
 
-  def unsafeWrapM[T: c.WeakTypeTag, P: c.WeakTypeTag](c: blackbox.Context)(
-      t: c.Expr[T]): c.Expr[F[T, P]]
+  //def unsafeWrapM[T: c.WeakTypeTag, P: c.WeakTypeTag](c: blackbox.Context)(
+  //    t: c.Expr[T]): c.Expr[F[T, P]]
 
-  def unsafeRewrapM[T: c.WeakTypeTag, A: c.WeakTypeTag, B: c.WeakTypeTag](c: blackbox.Context)(
-      ta: c.Expr[F[T, A]]): c.Expr[F[T, B]]
+  //def unsafeRewrapM[T: c.WeakTypeTag, A: c.WeakTypeTag, B: c.WeakTypeTag](c: blackbox.Context)(
+  //    ta: c.Expr[F[T, A]]): c.Expr[F[T, B]]
 
   /**
    * Returns a value of type `T` refined as `F[T, P]` on the right if
@@ -161,12 +161,12 @@ object RefType {
       override def unsafeRewrap[T, A, B](ta: Refined[T, A]): Refined[T, B] =
         Refined.unsafeApply(ta.value)
 
-      override def unsafeWrapM[T: c.WeakTypeTag, P: c.WeakTypeTag](c: blackbox.Context)(
+      def unsafeWrapM[T: c.WeakTypeTag, P: c.WeakTypeTag](c: blackbox.Context)(
           t: c.Expr[T]): c.Expr[Refined[T, P]] =
         c.universe.reify(Refined.unsafeApply(t.splice))
 
-      override def unsafeRewrapM[T: c.WeakTypeTag, A: c.WeakTypeTag, B: c.WeakTypeTag](
-          c: blackbox.Context)(ta: c.Expr[Refined[T, A]]): c.Expr[Refined[T, B]] =
+      def unsafeRewrapM[T: c.WeakTypeTag, A: c.WeakTypeTag, B: c.WeakTypeTag](c: blackbox.Context)(
+          ta: c.Expr[Refined[T, A]]): c.Expr[Refined[T, B]] =
         c.universe.reify(Refined.unsafeApply(ta.splice.value))
     }
 
@@ -181,12 +181,12 @@ object RefType {
       override def unsafeRewrap[T, A, B](ta: T @@ A): T @@ B =
         ta.asInstanceOf[T @@ B]
 
-      override def unsafeWrapM[T: c.WeakTypeTag, P: c.WeakTypeTag](c: blackbox.Context)(
+      def unsafeWrapM[T: c.WeakTypeTag, P: c.WeakTypeTag](c: blackbox.Context)(
           t: c.Expr[T]): c.Expr[T @@ P] =
         c.universe.reify(t.splice.asInstanceOf[T @@ P])
 
-      override def unsafeRewrapM[T: c.WeakTypeTag, A: c.WeakTypeTag, B: c.WeakTypeTag](
-          c: blackbox.Context)(ta: c.Expr[T @@ A]): c.Expr[T @@ B] =
+      def unsafeRewrapM[T: c.WeakTypeTag, A: c.WeakTypeTag, B: c.WeakTypeTag](c: blackbox.Context)(
+          ta: c.Expr[T @@ A]): c.Expr[T @@ B] =
         c.universe.reify(ta.splice.asInstanceOf[T @@ B])
     }
 

modules/core/shared/src/main/scala/eu/timepit/refined/macros/InferMacro.scala

@@ -20,6 +20,6 @@ class InferMacro(val c: blackbox.Context) extends MacroUtils {
       abort(Resources.invalidInference(weakTypeOf[A].toString, weakTypeOf[B].toString))
     }
 
-    refTypeInstance(rt).unsafeRewrapM(c)(ta)
+    ???
   }
 }

modules/core/shared/src/main/scala/eu/timepit/refined/macros/RefineMacro.scala

@@ -30,7 +30,7 @@ class RefineMacro(val c: blackbox.Context) extends MacroUtils with LiteralMatche
       abort(validate.showResult(tValue, res))
     }
 
-    refTypeInstance(rt).unsafeWrapM(c)(t)
+    ???
   }
 
   def implApplyRef[FTP, F[_, _], T: c.WeakTypeTag, P: c.WeakTypeTag](t: c.Expr[T])(