{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// Block ends with an inline assembly block. This is a terminator since
    /// inline assembly is allowed to diverge.