{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
        // KASAN is still ASAN under the hood, so it uses the same attribute.
    for mut s in sess.opts.unstable_opts.sanitizer {
        if s == SanitizerSet::KERNELADDRESS {