object Test {
  type `&`[L,R] = L
  val x: Int `&` String = 10
}