Move expression.BinExp.checkOpAssignTypes to expressionsem

[RazvanN7]

There is no point in having checkOpAssignTypes in expression.d:

• it requires semantic information (such as types already being present and performs casts that require semantic analysis)
• it is called only once from expressionsem.d, as such it can be made private
• once Get rid of extra indirection for implictCastTo and castTo for expressions #15754 is merged and this is merged, there is only one function that needs to be moved to break the dependency of expression.d on dcast.d

[dlang-bot]

Thanks for your pull request and interest in making D better, @RazvanN7! We are looking forward to reviewing it, and you should be hearing from a maintainer soon.
Please verify that your PR follows this checklist:

• My PR is fully covered with tests (you can see the coverage diff by visiting the details link of the codecov check)
• My PR is as minimal as possible (smaller, focused PRs are easier to review than big ones)
• I have provided a detailed rationale explaining my changes
• New or modified functions have Ddoc comments (with Params: and Returns:)

Please see CONTRIBUTING.md for more information.

---

If you have addressed all reviews or aren't sure how to proceed, don't hesitate to ping us with a simple comment.

Bugzilla references

Your PR doesn't reference any Bugzilla issue.

If your PR contains non-trivial changes, please reference a Bugzilla issue or create a manual changelog.

Testing this PR locally

If you don't have a local development environment setup, you can use Digger to test this PR:

dub run digger -- build "master + dmd#15755"