{"ast_node_type":"variable","tokens":[{"end":21,"kind":"keyword","start":0,"text":"let"}]}
        let ty_vars =
            (0..NUM_PREINTERNED_TY_VARS).map(|n| mk(Infer(ty::TyVar(TyVid::from(n))))).collect();