{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"&&"}]}
                    && let Some(did) = c.check_static_ptr(self.tcx)
                    && let Some((_, Rvalue::Use(Operand::Constant(c)))) = def_stmt.kind.as_assign()
                    // Evaluating a promoted may not read statics except if it got