{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
                            // Not into the same allocation -- this is UB.
                        _ => {
                            throw_ub_custom!(