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