std::pmr::polymorphic_allocator の動作チェックを説明する前に std::experimental::pmr::vector を軽く説明しておきます。

　std::experimental::pmr::vector は C++17 から導入された std::polymorphic_allocator に対応した STL コンテナのバインディングです。

std::experimental::pmr::vector ( https://github.com/MacKomatsu/gcc/blob/master/libstdc%2B%2B-v3/include/experimental/vector ). 

   66   namespace pmr {
   67     template<typename _Tp>
   68       using vector = std::vector<_Tp, polymorphic_allocator<_Tp>>;
   69   } // namespace pmr

　見ての通り polymorphic_allocator をアロケーターに指定しているだけです。