fix(expect): move typings of .not, .rejects and .resolves modifiers outside of Matchers interface

[mrazauskas]

Summary

Current expect typings allow to write expectations like this: expect(1).not.not.resolves.rejects.not.rejects.toBe(2). Looks funny. That’s because .not, .rejects and .resolves lives inside Matchers interface.

I looked at @types/jest. Their types work correctly, but it was hard to read them. My version is perhaps less perfect, but I think it is easier to read.

Test plan

Type tests which will fail on main are added. All should pass in CI.

[mrazauskas]

These were not exported before. I think it might be good idea to allow extending these too.

[codecov-commenter]

Codecov Report

Merging #12346 (c6d0e1e) into main (7f7b3fb) will decrease coverage by 0.03%.
The diff coverage is 0.00%.

@@            Coverage Diff             @@
##             main   #12346      +/-   ##
==========================================
- Coverage   66.97%   66.93%   -0.04%     
==========================================
  Files         329      329              
  Lines       17335    17344       +9     
  Branches     5061     5061              
==========================================
  Hits        11610    11610              
- Misses       5693     5702       +9     
  Partials       32       32              

Impacted Files	Coverage Δ
packages/jest-types/__typetests__/expect.test.ts	0.00% <0.00%> (ø)

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 7f7b3fb...c6d0e1e. Read the comment docs.

[SimenB]

Yay! Especially love the tests that comes with these PRs, can't thank you enough 👍

[github-actions]

This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.
Please note this issue tracker is not a help forum. We recommend using StackOverflow or our discord channel for questions.