추상 멤버 유형의 평등에 대한 요구 사항은 무엇입니까?

Question

내 특성 Outer에는 두 개의 추상 멤버 유형 Inner1 및 Inner2이 있어야합니다. Inner2에 추상 회원 유형 Inner1 (을)를 갖고 싶습니다. Outer#Inner1이 Inner2#Inner1과 같아야한다는 요구 사항을 지정하고 싶습니다. 이것을하는 가장 설득력있는 방법은 무엇입니까? 지금까지 내가 가지고있다

trait HaveInner1 { 
    type Inner1 
} 

trait Outer { 
    type Inner1 
    type Inner2 <: HaveInner1 

    // require Inner1 == Inner2#Inner1; 
    def ?[T](implicit v: T): T = v 
    implicit var ev: Inner2#Inner1 =:= Inner1 = ?[Inner2#Inner1 =:= Inner1] 
} 

마지막 두 문장은 그다지 아름답 지 않다. 같은 일에 더 관용적 인 방법이 있습니까?

Answer 1

trait HaveInner1 { 
    type Inner1 
} 

trait Outer /*extends HaveInner1*/ { outer => 
    type Inner1 
    type Inner2 <: HaveInner1 { type Inner1 = outer.Inner1 } 
}