{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"//"}]}
                //         TyKind::TermKind::Const(c) => {
                //         }
                //             self.add_constraints_from_const( c, self.invariant)