Simplify some Lorentz code
Problem: once I added
KnownValue constraint to
sometimes we need to call
sopGet and such constraint is
But in fact it is not convenient to have such constraints in primitives
get because one will have to propagate them everywhere in his
It is better to have this constraint in methods composing
because they are usually applied to concrete types and there is no need
to propagate constraints.
sopGet, propagate changes.
✅ 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.