import language.experimental.captureChecking

  trait Iterable[T] { self: Iterable[T]^ =>
    def map[U](f: T => U): Iterable[U]^{this, f}
  }

  object Test {
    def assertEquals[A, B](a: A, b: B): Boolean = ???

    def foo[T](level: Int, lines: Iterable[T]) =
      lines.map(x => x)

    def bar(messages: Iterable[String]) =
      foo(1, messages)

    val it: Iterable[String] = ???
    val msgs = bar(it)

    assertEquals(msgs, msgs)
  }

error when pickling type T
error when pickling type T -> T
error when pickling tree f
error when pickling tree [this,f : Any @retainsArg]
error when pickling tree [this,f : Any @retainsArg]*
error when pickling tree new _root_.scala.annotation.retains([this,f : Any @retainsArg]*)
error when pickling type Iterable[String]^{this, T -> T}
error when pickling tree Iterable[String]^{this, T -> T}
error when pickling tree Test.assertEquals[Iterable[String]^{this, T -> T}, Iterable[String]^{this, T -> T}]
error when pickling tree Test.assertEquals[Iterable[String]^{this, T -> T}, Iterable[String]^{this, T -> T}](Test.msgs, Test.msgs)
error when pickling tree () extends Object() { this: Test.type =>
  private def writeReplace(): AnyRef = new scala.runtime.ModuleSerializationProxy(classOf[Test.type])
  def assertEquals[A >: Nothing <: Any, B >: Nothing <: Any](a: A, b: B): Boolean = ???
  def foo[T >: Nothing <: Any](level: Int, lines: Iterable[T]): Iterable[T]^{} =
    lines.map[T](
      {
        def $anonfun(x: T): T = x
        closure($anonfun)
      }
    )
  def bar(messages: Iterable[String]): Iterable[String]^{} = Test.foo[String](1, messages)
  val it: Iterable[String] = ???
  val msgs: Iterable[String]^{} = Test.bar(Test.it)
  Test.assertEquals[Iterable[String]^{this, T -> T}, Iterable[String]^{this, T -> T}](Test.msgs, Test.msgs)
}
...