{"ast_node_type":"variable","tokens":[{"end":55,"kind":"keyword","start":0,"text":"let"}]}
        let ty = match (self.lazily_normalize_ty)(ty) {
        let ty = self.infcx.shallow_resolve(ty);
            Ok(norm_ty) if norm_ty.is_ty_var() => ty,