代入文の型検査時は静的だから書き換えたisが評価できない func as(lhs: A) -> Bの有無で決まるとか？ (edited)