関数で行われているようです。持っていない場合のチェックです。サブセットであるかどうかをチェックし、そうでなければエラーとなります。サブセットであるかどうかをチェックし、そうでなければエラーとなります。先に引用したマニュアルの「スレッドに許可されたケーパビリティであっても、バウンディングセットに含まれていなければ、スレッドはそのケーパビリティは自身の継承可能セットに追加できず」というのがこの部分でしょうか。