Simplify some Lorentz code
Description
Problem: once I added KnownValue
constraint to sopGet
because
sometimes we need to call none
within sopGet
and such constraint is
required there.
But in fact it is not convenient to have such constraints in primitives
like get
because one will have to propagate them everywhere in his
code.
It is better to have this constraint in methods composing Store*Ops
because they are usually applied to concrete types and there is no need
to propagate constraints.
Solution: remove KnownValue
in sopGet
, propagate changes.
Related issue(s)
✅ 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 Konstantin Ivanov