Skip to content

add size_list_to_map

Ralf Jung requested to merge ralf/size_list_to_map into master

There's probably a way to do this without assuming that the map has some associated domain... but this was the easiest proof, and in practice the map types we work with do have a domain, so it should be fine.

Merge request reports