Double Vertical Bars (||) vs Double Pipe (||)

[jirafey]

trafficstars

i have no idea how to type double vertical bars and it just should register pipes as vertical bars

[codicocodes]

I took a quick look on this, I think this code is normal double pipe || https://github.com/rust-lang/rust/blob/master/library/core/benches/iter.rs#L144-L148

It's not using any weird symbols from what I can see. The most likely explanation for this is that you did not type the pipe symbol correctly even if you think you did.

The fix would be to make this more clear for users. Because it is a recurring problem.