Per discussion starting at ericniebler/range-v3#1433 (comment).

P2091R0 adds the phrase "let t be an lvalue that denotes the same object as E if E is a glvalue and otherwise denotes the result of applying the temporary materialization conversion ([conv.rval]) to E." several times. This phrase is ambiguous. The intended reading is:

let t be an lvalue that denotes (the same object as E if E is a glvalue) or (the result of applying the TMC to E otherwise).

but it can also be read as:

let t be (an lvalue that denotes the same object as E if E is a glvalue) or (the result of applying the TMC to E otherwise).

which confusingly implies that t is an xvalue in the latter case. We could clarify the structure with bullets:

let t be an lvalue that denotes

• the same object as E if E is a glvalue, or
• the result of applying the TMC to E otherwise.

but the Standard really doesn't need more bullets, and this would add seven such bulleted lists in the introductory matter for seven existing bulleted lists. I'd rather not.

Suggestions?