Swift の witness table は動的束縛？