Add forgotten-about .src for #1878
Try to address #1936 by detecting the case of type application and treating it as non-widening.
Add test for #1936