blob: 81eada962b68b85599d077c9a861af0c3dd07267 (
plain) (
tree)
|
|
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]
}
|
