Relax type equality constraint to subtype

typelevel · Jan 30, 2016 · 1b248a4 · 1b248a4
1 parent ae1e204
commit 1b248a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/src/main/scala/simulacrum/typeclass.scala b/core/src/main/scala/simulacrum/typeclass.scala
@@ -199,7 +199,7 @@ class TypeClassMacros(val c: Context) {
               if (arg equalsStructure Ident(simpleArg)) {
                 (withRewrittenFirst, true)
               } else {
-                val typeEqualityType = tq"_root_.scala.Predef.=:=[${liftedTypeArg.name}, $arg]"
+                val typeEqualityType = tq"_root_.scala.Predef.<:<[${liftedTypeArg.name}, $arg]"
                 val equalityEvidence = ValDef(Modifiers(Flag.IMPLICIT), TermName(c.freshName("ev")), typeEqualityType, EmptyTree)
                 val updatedParamss = {
                   if (withRewrittenFirst.nonEmpty && withRewrittenFirst.last.head.mods.hasFlag(Flag.IMPLICIT))