Merge main to release/dev17.11 (#17059)

* Disallow calling abstract methods directly on interfaces (#17021)

* Disallow calling abstract methods directly on interfaces

* More tests

* IWSAMs are not supported by NET472

* Update src/Compiler/Checking/ConstraintSolver.fs

Co-authored-by: Tomas Grosup <[email protected]>

* fix typos

* looking for the right check

* Add comments

* move release notes

* Add a new error number and message

* Update docs/release-notes/.FSharp.Compiler.Service/8.0.400.md

Co-authored-by: Brian Rourke Boll <[email protected]>

* Update docs/release-notes/.FSharp.Compiler.Service/8.0.400.md

Co-authored-by: Brian Rourke Boll <[email protected]>

* Improve error message

---------

Co-authored-by: Tomas Grosup <[email protected]>
Co-authored-by: Brian Rourke Boll <[email protected]>

* Always use `typeEquivAux EraseMeasures` (for  integral range optimizations) (#17048)

* Always use `typeEquivAux EraseMeasures`

* Update release notes

* Update baselines

---------

Co-authored-by: Petr <[email protected]>

---------

Co-authored-by: Edgar Gonzalez <[email protected]>
Co-authored-by: Tomas Grosup <[email protected]>
Co-authored-by: Brian Rourke Boll <[email protected]>
Co-authored-by: Petr <[email protected]>
Co-authored-by: Vlad Zarytovskii <[email protected]>

Author: 6 people