test/pending/presentation/context-bounds1/src/ContextBounds.scala


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