import scala.reflect.runtime.universe._

/* Tests implicit parameters in the presence of context bounds.
 * See Section 7.4 of the Scala Language Specification.
 */
class C {

  def f[T: TypeTag, S: TypeTag](x: T, y: S)(implicit p: C): Unit = { }

}