確かに contravariance だから、
A1 == WebNode として解決していても、 実際に渡すクロージャは (WebNode, WebNode?) -> Void で広く受けてるから問題ない、理論的には間違ってないA1 == WebNode として解決していても、 実際に渡すクロージャは (WebNode, WebNode?) -> Void で広く受けてるから問題ない、理論的には間違ってないA1 == WebNode? になってることだからnil がくると実行時クラッシュする