Symbol: range_infer_ctx