blob: c97cb34cee748a32ff0b2153c119ff3ad7035337 (
plain) (
blame)
1
2
3
4
5
6
7
8
|
class Test {
// Predef used to define a method `conforms` to produce the implicit evidence below
// all this does is ensure we don't rename Predef.$conforms back to conforms when $ goes out of fashion
// or that there is some other way of generating the implicit value that witnesses T => U for T <: U
def conforms(x: Int, y: Int) = x < y
def foo[A](implicit ev: Int => A) = ???
foo[Int]
}
|