This PR makes a sound improvement of the PR #1987.
In the previous change the BitVector was set to 0s which will prevent any type known to be propagate. To ensure sound type propagation for the special case in this part of the code, we need to return a BitVector set to all 1s.
This PR makes a sound improvement of the PR #1987. In the previous change the BitVector was set to 0s which will prevent any type known to be propagate. To ensure sound type propagation for the special case in this part of the code, we need to return a BitVector set to all 1s.