I have a 17-40 but looking to replace it with the 16-35 f4, trouble is Canon now has a huge range of very/ultra wides so making a choice is not so easy.
Basically I fell into real estate photography last year armed only with my 17-40 and it has served me well, 90%+ of images are 17mm in the f6.3-f8.0 range and my clients seem very happy with the images.
I would like that little bit more width (ooh err) and I'm probably going mirrorless (R6) this year so that opens up even more wide options but the cost of RF lenses is prohibitive, also some of the ultra wide RF lenses do have weird distortion at the wide end and once corrected you are not as wide as you thought you were, the 16-35 f4 looks like the sweet spot of sharpness, correct distortion, tad wider, IS for slow handhelds and price.
The 16-35 f4 is around £500/£600 for a mint used example which is fine, at that price I'll keep the little 17-40 as back up, even at that cost I wonder what difference I'll see sharpness wise, the 17-40 has performed very well on my 5D4 when stopped down and is nowhere near as bad as many people make it out to be but then I'm not shooting F4..
I have owned both lenses. I bought the 17-40 right after I bought my R5. I was never very happy with the results. I hear there are a different copies of this lens. I was excited when Canon first announced the RF 14-35, but later when they announced the price I just felt it was way too expensive for my needs. I sold the 17-40 and bought a very nice used 16-35 f4 IS. I bought the 16-35 f4 and have been very happy with the results on my R5.



