|| (OR pattern) condenses input

[randolf-scholz]

Debug log ID

4P7WZ5YN-refs-euc/6.7.225-7

What happened?

The following give different results, I would have expected them to give the same result, but for some reason the OR pattern seems to implicitly gobble spaces.

• Title="The Theory of Classical Valuations"
• ShortTitle=<empty>
• (ShortTitle.condense(_) || Title.condense(_)) ⟶ The_Theory_of_Classical_Valuations ✅
• (ShortTitle || Title).condense(_) ⟶ TheTheoryofClassicalValuations ❌
• (ShortTitle ? ShortTitle : Title).condense(_) ⟶ TheTheoryofClassicalValuations ❌

From the description in the documentation, I would have expected that || only selects which field to use, but not to modify it in any way.

[retorquere]

confirmed