UCASE(varchar_col)=... not handled for partition tables

-- source include/have_partition.inc

set

  @tmp_switch_sarg_casefold=@@optimizer_switch,

  optimizer_switch='sargable_casefold=on';

create table t1 (s1 varchar(15)) collate utf8mb3_general_ci partition by key (s1) ;

insert into t1 values ('aa'),('bb'),('0');

explain format=json select * from t1 where upper(s1)='AA';

drop table t1;

set optimizer_switch=@tmp_switch_sarg_casefold;

EXPLAIN

{

  "query_block": {

    "select_id": 1,

    "table": {

      "table_name": "t1",

      "partitions": ["p0"],

      "access_type": "ALL",

      "rows": 3,

      "filtered": 100,

      "attached_condition": "ucase(t1.s1) = 'AA'"

    }

  }

}