{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"}"}]}
            } else {
                crate::constant::eval_mir_constant(fx, idx_const).0.try_to_scalar_int().unwrap()
                fx.tcx