Proposed resolution:

Change [forwardlist.ops], forward_list operations, paragraph 19, merge complexity as indicated:

Complexity: At most size() + x.size() distance(begin(), end()) + distance(x.begin(), x.end()) - 1 comparisons.

[ Batavia (2009-05): ]

We agree with the proposed resolution.

Move to Tentatively Ready.

[ 2009-03-29 Beman provided proposed wording. ]

I ran across a small contradiction in working draft n2723.

[forwardlist]p2: A forward_list satisfies all of the requirements of a container (table 90), except that the size() member function is not provided.

[forwardlist.ops]p57: Complexity: At most size() + x.size() - 1 comparisons.

Presumably [forwardlist.ops]p57 needs to be rephrased to not use size(), or note that it is used there only for sake of notational convenience.