Skip to content

add warning when map with double or real as key is created#17246

Merged
rschlussel merged 1 commit intoprestodb:masterfrom
singcha:Warn_on_MAP_types_with_rea_double_as_keys
Feb 11, 2022
Merged

add warning when map with double or real as key is created#17246
rschlussel merged 1 commit intoprestodb:masterfrom
singcha:Warn_on_MAP_types_with_rea_double_as_keys

Commits

Commits on Feb 11, 2022