Kishikawa Katsumi

そうするとWKWebViewの方で、デフォルト引数じゃなくて引数の数でオーバーロードにする、という修正で解決できる？

たしかに。バグレポート出したらそういう修正が降ってくる可能性はありますね。