{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":".expect(\"typeck"}]}
                .expect("typeck should have ensure that this is a const");
                .const_to_opt_u128(args[1].immediate(), false)
            if idx >= in_len.into() {