diff --git a/modules/core/shared/src/main/scala/eu/timepit/refined/api/Inference.scala b/modules/core/shared/src/main/scala/eu/timepit/refined/api/Inference.scala index 5317a024d..c4ee2d50b 100644 --- a/modules/core/shared/src/main/scala/eu/timepit/refined/api/Inference.scala +++ b/modules/core/shared/src/main/scala/eu/timepit/refined/api/Inference.scala @@ -46,7 +46,8 @@ object Implies { import scala.reflect.macros.blackbox import Inference.==> - def manifest[A: c.WeakTypeTag, B: c.WeakTypeTag](c: blackbox.Context)(ir: c.Expr[A ==> B]): c.Expr[Implies[A, B]] = { + def manifest[A: c.WeakTypeTag, B: c.WeakTypeTag]( + c: blackbox.Context + )(ir: c.Expr[A ==> B]): c.Expr[Implies[A, B]] = c.universe.reify(Implies[A, B]((ir.splice).show)) - } } diff --git a/modules/core/shared/src/main/scala/eu/timepit/refined/auto.scala b/modules/core/shared/src/main/scala/eu/timepit/refined/auto.scala index 3fe0fc0d8..1f182d90b 100644 --- a/modules/core/shared/src/main/scala/eu/timepit/refined/auto.scala +++ b/modules/core/shared/src/main/scala/eu/timepit/refined/auto.scala @@ -32,7 +32,8 @@ object auto { ir: A ==> B ): F[T, B] = macro InferMacro.impl[F, T, A, B] - implicit def autoImply[A, B](implicit + implicit def autoImply[A, B]( + implicit ir: A ==> B ): Implies[A, B] = macro InferMacro.implies[A, B]