Proposed resolution:

Change [bidirectional.iterators]:

concept BidirectionalIterator<typename X> : ForwardIterator<X> { 
  MoveConstructible postdecrement_result; 
  requires HasDereference<postdecrement_result> 
        && Convertible<HasDereference<postdecrement_result>::result_type, const value_type&> 
        && Convertible<postdecrement_result, const X&>; 
  X& operator--(X&); 
  postdecrement_result operator--(X& r, int); {
     X tmp = r;
     --r;
     return tmp;
  }
}

[ 2009-06-07 Daniel adds: ]

This issue cannot currently be resolved as suggested, because that would render auto-detection of the return type postdecrement_result invalid, see 1084.

[ Summit: ]

Howard will open an issue.

Addresses UK 258 [CD1]

A default implementation should be supplied for the post-decrement operator to simplify implementation of iterators by users.

Copy the Effects clause into the concept description as the default implementation. Assumes a default value for postincrement_result.