Proposed resolution:

This wording is relative to N3376.

1. Change the class template vector<bool> synopsis, [vector.bool] p1, as indicated:

   namespace std {
     template <class Allocator> class vector<bool, Allocator> {
     public:
       […]
       // modifiers:
       template <class... Args> void emplace_back(Args&&... args);
       void push_back(const bool& x);
       void pop_back();
       template <class... Args> iterator emplace(const_iterator position, Args&&... args);
       iterator insert(const_iterator position, const bool& x);
       […]
     };
   }
   

[ 2013-04-20 Bristol ]

[ 2012, Portland: Move to Tentatively Ready ]

Question on whether the variadic template is really needed, but it turns out to be needed to support emplace of no arguments.

It should have them so that it more closely matches the vector<T> interface, as this helps when writing generic code.