blob: 72a8f694a3186eb18f9e6696a9b2874acd567fea (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
object ContextBound {
val blubb = new Blubb/*#*/
def work[A: Foo/*#*/](f: Blubb/*#*/ => A/*#*/): A/*#*/ = f(blubb/*#*/) ensuring {
implicitly[Foo/*#*/[A/*#*/]].foo/*#*/(_) >= 42
}
}
trait Foo[A] {
def foo(a: A/*#*/): Int
}
class Blubb
|