제약조건은 type argument(형식인수)에서 capabilities(갖추어 있어야 하는 기능)을 컴파일러에 알린다. 제약조건은 where 상황별 키워드를 사용하여 지정한다.

{| class="wikitable"