{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"//"}]}
                //         TyKind::TermKind::Ty(ty) => {
                //     match projection.skip_binder().term.unpack() {
                //             self.add_constraints_from_ty( ty, self.invariant);