[ 2022-09-28; LWG telecon ]

We should not just ignore the allocator, it should be rebound and used for the two container types.

Previous resolution [SUPERSEDED]:

This wording is relative to N4917.

1. Modify [flat.map.defn], class template flat_map synopsis, as indicated:

   […]
   template<ranges::input_range R, class Compare = less<range-key-type<R>>,
            class Allocator = allocator<void>>
     flat_map(from_range_t, R&&, Compare = Compare(), Allocator = Allocator())
       -> flat_map<range-key-type<R>, range-mapped-type<R>, Compare>;
   […]
   

2. Modify [flat.multimap.defn], class template flat_multimap synopsis, as indicated:

   […]
   template<ranges::input_range R, class Compare = less<range-key-type<R>>,
            class Allocator = allocator<void>>
     flat_multimap(from_range_t, R&&, Compare = Compare(), Allocator = Allocator())
       -> flat_multimap<range-key-type<R>, range-mapped-type<R>, Compare>;
   […]