61bd3a8d03
There was a silly bug: equal constraint is actually a lower and an upper constraint, but we checked only presence of lower constraints. Test is important as here we have one equal constraint and should complete inner call `foo<Int>()` without propagating it to `bar` to avoid using `NoInfer` annotation multiple times