Sema: ensure slice_ptr produces the correct type
#18347
Merged
slice_ptr produces the correct type
#18347