{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
            // `place == (*some_local).xxx`, it is constant only if `some_local` is constant.
        if place.projection.first() == Some(&PlaceElem::Deref) {
            // We approximate constness using SSAness.