{"ast_node_type":"variable","tokens":[{"end":80,"kind":"keyword","start":0,"text":"let"}]}
            let hir::TyKind::Pat(ty, _) = node.expect_ty().kind else { bug!() };
            };
            icx.lower_ty(ty)