{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
            // We are emitting the lint here instead of in `is_const_evaluatable`
        self.const_eval_global_id_for_typeck(typing_env, cid, span).inspect(|_| {
            // as we normalize obligations before checking them, and normalization