{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
                // If we know the assert does not panic, turn the call into a Goto
            Some(false) => {
                terminator.kind = TerminatorKind::Goto { target: target_block };