Merge pull request #67601 from nate-chandler/nfc/20230728/1/sil-doc-checked-cast-br-update

NFC: Doc'd checked_cast_br formal type.

Author: nate-chandler

docs/SIL.rst

@@ -8093,6 +8093,7 @@ checked_cast_br
 ::
 
   sil-terminator ::= 'checked_cast_br' sil-checked-cast-exact?
+                      sil-type 'in'
                       sil-operand 'to' sil-type ','
                       sil-identifier ',' sil-identifier
   sil-checked-cast-exact ::= '[' 'exact' ']'