unconditional_checked_cast_addrのBNFが、 sil-instruction ::= 'unconditional_checked_cast_addr' sil-type 'in' sil-operand 'to' sil-type 'in' sil-operand ってなってるんですが、Exampleだと unconditional_checked_cast_addr $A in %0 : $@thick A to $B in $@thick B ってなってて、二番目のsil-operandがsil-typeだけになってて、 sil-operand ::= sil-value ':' sil-type のようにsil-valueがたりないですね