Proposed resolution (approved by CWG 2026-01-23):

Change in 8.7 [stmt.expand] bullet 5.3 as follows:

... where N is the structured binding size of the type of the expansion-initializer and Si is

  {
    for-range-declaration = ui vi;
    compound-statement
  }

If the expansion-initializer is an lvalue, then v_i is u_i; otherwise, v_i is static_cast<decltype(u_i)&&>(u_i).

[Accepted at the March, 2026 meeting.]

(From submission #835.)

Consider:

  auto f() -> std::tuple<int, int&, int&&>;

  auto g() -> void {
    template for (auto&& elem : f()) {
      ;
    }
  }

The type of elem is int& in each iteration, but the intent of P1306R5 was that the first and third iteration yield int&& instead.