{"ast_node_type":"variable","tokens":[{"end":34,"kind":"keyword","start":0,"text":"let"}]}
        let kind = match &t.kind {
    fn lower_ty_direct(&mut self, t: &Ty, itctx: ImplTraitContext) -> hir::Ty<'hir> {
            TyKind::Infer => hir::TyKind::Infer(()),