Future proof subtype evidence

to unblock the community build.

Ref scala/scala#7350

which moved `<:<` out of `Predef`.
This commit is contained in:
Georgi Krastev 2019-01-18 06:56:47 +01:00
parent 662aa50f0c
commit 4ff8c3305c
2 changed files with 2 additions and 1 deletions

1
.gitignore vendored
View File

@ -1 +1,2 @@
target
.idea/

View File

@ -210,7 +210,7 @@ class TypeClassMacros(val c: Context) {
//evidence for type args which are nested
val equalityEvidences = simpleArgs.filterNot(_._4).map {
case (arg, _, liftedTypeArg, _) =>
val tEq = tq"_root_.scala.Predef.<:<[${liftedTypeArg.name}, $arg]"
val tEq = tq"${symbolOf[_ <:< _]}[${liftedTypeArg.name}, $arg]"
ValDef(Modifiers(Flag.IMPLICIT), TermName(c.freshName("ev")), tEq, EmptyTree)
}
//params to strip from method signature because they are defined on