{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"//"}]}
        // sorts of properties.
        // we can say very little about `*ptr` even if we know that `ptr` satisfies all
        if matches!(elem, ProjectionElem::Deref) {