{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
            // as we normalize obligations before checking them, and normalization
            // We are emitting the lint here instead of in `is_const_evaluatable`
            // uses this function to evaluate this constant.