적용되지 않은 유형 매개 변수에 대한 유형 경계

Question

다음 컴파일과 같이 적용되지 않은 고차 유형 매개 변수의 경계를 어떻게 지정할 수 있습니까? 라코 디스

Declr에 더 많은 유형 매개 변수를 추가하지 않아도됩니다.솔루션은 Impl 매개 변수의 경계가 always S <: Sys[S] (즉, Declr에 들어갈 수있는 모든 유형에 대한 경계)라고 가정 할 수 있습니다.

다음과 같이 멤버 유형으로 제약 조건을 작성할 수 있다고 생각합니다. 라코 디스

하지만이를 매개 변수 유형으로 수행하는 방법은 무엇입니까?

Answer 1

왜 안 되는가 라코 디스