あってる

1:56 PM

あー正確には実行時には self が WebHTMLElement になっているから、動的に確認すると (WebHTMLElement) -> (WebNode, WebNode?) -> Void を渡してる静的にはコンパイル時に S = WebNode, A0 = WebNode, A1 = WebNode になっとる