[#551] Add new typecheker for NiceComparable
Description
When Comparable constraint fails during compilation it shows ugly error message, which also contains information about (ToT n) type (which should be avoided)
Related issue(s)
Resolves #551 (closed)
✅ Checklist for your Merge Request
Related changes (conditional)
-
Tests (see short guidelines)
-
If I added new functionality, I added tests covering it. -
If I fixed a bug, I added a regression test to prevent the bug from silently reappearing again.
-
-
Documentation
Stylistic guide (mandatory)
-
My commits comply with the following policy. -
My code complies with the style guide.
Edited by Stepan Prudnikov