Using a context bound in a class type parameter

Question

I was under the impression that context bounds would work only on methods:

trait Target[T]

class Post {
  def pinTo[T : Target](t:T)
}

app

Answer 1

The A: Foo notation for context bounds is only a shortcut for asking for an implicit value parameter of type Foo[A]. Since traits do not have constructor value parameters, you can not use this with a trait:

trait Foo[A]

trait Bar[A: Foo] // "error: traits cannot have type parameters with context bounds..."

Whereas in classes it's possible:

class Bar[A: Foo] {
  def foo: Foo[A] = implicitly[Foo[A]]
}

Which is just a different way of writing

class Bar[A](implicit foo: Foo[A])

You provide the evidence like you do in any other normal method call:

new Bar[Int]()(new Foo[Int] {})  // explicitly

Or:

implicit val iFoo = new Foo[Int] {}

new Bar[Int]  // implicitly