プロトコル型がそのプロトコルを満たさないのってなんでなんだっけ？