{"ast_node_type":"variable","tokens":[{"end":45,"kind":"keyword","start":0,"text":"let"}]}
                let guar = match *ty.kind() {
                let ty = self.resolve_vars_if_possible(ty.value);
                    ty::Infer(ty::TyVar(_)) => {