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