{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
                            // and that null is aligned for all alignments so it's okay to forward
                            // only adds "dereferenceable" if there's also a "nonnull" proof,
                            // the pointer's alignment.