Challenge 21: Verify the safety of substring-related functions in str::pattern


## Runbook Link

[https://model-checking..io/verify-rust-std/challenges/0020-str-pattern-pt2.html](https://model-checking..io/verify-rust-std/challenges/0020-str-pattern-pt2.html)
