在Scala中,如何限制多个参数必须是同一类型内的类型？

我有两个类,C2类嵌套在C1中.

case class C1(v1: Int) {
  case class C2(v2: Int)
}

我在这里有两个C1类对象：

object O1 extends C1(1)
object O2 extends C1(2)

我想编写一个接受C2类型的多个参数的方法.并且所有这些参数必须属于C1的同一对象.

例如：

foo(O1.C2(10),O1.C2(11)) // all the C2 is inside the same O1
foo(O1.C2(10),O2.C2(20)) // not good,will not compile

我已经尝试过一些方法来编写这种方法,但没有人工作.

第一个：

def print1(p1: C1#C2,p2: C1#C2): Unit = {
  println(p1.v2,p2.v2)
}
print1(O1.C2(1111),O2.C2(2222)) // Not requited that p1 & p2 should have the same object of C1

第二个：

def print2(p1: O1.C2,p2: O1.C2): Unit = {
  println(p1.v2,p2.v2)
}
print2(O1.C2(1111),O1.C2(1111)) // Can only accept the C2 inside O1

第三个：

def print3[T <: C1#C2](p1: T,p2: T): Unit = {
  println(p1.v2,p2.v2)
}
print3(O1.C2(1111),O2.C2(2222)) // The same as the first one.

最后一个：

//  def print2[U <: C1](p1: U.C2,p2: U.C2): Unit = {
//    println(p1.v2,p2.v2)
//  }
// Not compile,Error: not found: value U

无论如何,我可以存档吗？