{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"//"}]}
            // state need to be updated.
            // NOTE: since jumps were added in a place rustc does not expect, the current block in the
            self.switch_to_block(after);