Possible resolution:

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 or the referenced type (9.7 [dcl.struct.bind]) of u_i is an lvalue reference type, then v_i is u_i; otherwise, v_i is an xvalue designating what u_i designates.

(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.