class FF[R] {
  def compose(): R = ???
}

class Test(x: Int) extends AnyVal {
  def method: Unit = {
    class Bla{ def bar:a.S = ???}
    trait TRT{ type S}
    val a: TRT = ???
  }
}