{"ast_node_type":"variable","tokens":[{"end":48,"kind":"keyword","start":0,"text":"let"}]}
        let ty = self.infcx.shallow_resolve(ty);
    fn visit_ty(&mut self, ty: I::Ty) -> Self::Result {
        let ty = match (self.lazily_normalize_ty)(ty) {