This documents a limitation of the constraint solver using intersection typed functions' return values as lower bounds, which leads to false positives. It's a tricky case, but I tried to describe it in the added test case. I'm not sure yet if it's possible to fix it with the current solver implementation.
This documents a limitation of the constraint solver using intersection typed functions' return values as lower bounds, which leads to false positives. It's a tricky case, but I tried to describe it in the added test case. I'm not sure yet if it's possible to fix it with the current solver implementation.