{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":".const_to_opt_u128(val,"}]}
                .const_to_opt_u128(val, true)
            let idx = bx
                .unwrap_or_else(|| bug!("typeck should have already ensured that these are const"));