[Chore] Disable a redundant constraint warning
Description
Michelson.Typed.Sing
, raises a redundant constraint warning.
However, this went unnoticed because it does so only with some compiler optimization levels.
This disables the redundant constraint warning in said module with a pragma.
For context, this was noticed on production
pipelines (where we use a different optimization level) and is a known bug.
Note: this particular warning was expected and it's due to a known TH function shortcoming, see this discussion
Related issue(s)
None
✅ 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 Pinto Pasquale