{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
    // This does *not* actually check that references are dereferenceable, but since all types that
    // Assume that if it failed, it's a validation failure.
    // require dereferenceability also require non-null, we don't actually get any false negatives