Backport implementation of satisfies

[sosukesuzuki]

Description

Checklist

• I’ve added tests to confirm my change works.
• (If changing the API or CLI) I’ve documented the changes I’ve made (in the docs/ directory).
• (If the change is user-facing) I’ve added my changes to changelog_unreleased/*/XXXX.md file following changelog_unreleased/TEMPLATE.md.
• I’ve read the contributing guidelines.

✨Try the playground for this PR✨

[fisker]

Why not merge #13783 into this one? No wonder I didn't see any satisfies tests there.

[sosukesuzuki]

Why not merge #13783 into this one? No wonder I didn't see any satisfies tests there.

Just for reviewing. #13783 includes changes that are not for satisfies. If the parser changes are not annoying to the reviewer, I can merge this into #13783.

[fisker]

They already been reviewed. Let's merge them.

[sosukesuzuki]

Okay