{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
    // require dereferenceability also require non-null, we don't actually get any false negatives
    // This does *not* actually check that references are dereferenceable, but since all types that
    // due to this.