Revert "Try to address #1936 by detecting the case of type application and treating it as non-widening." because it breaks other tests

This reverts commit 82aeeef1857ed7689de7ba1413f2c6a39bee58bb.