{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"op_idx.insert(idx,"}]}
                    op_idx.insert(idx, constraints.len());
                    inputs.push(self.cx.get_static(def_id));
                    constraints.push("s".to_string());