Refine `String.slice/3` return type to `t` (#15553)