Track domain keys when creating and updating maps (using the map syntax) - #14892

Merged

josevalim merged 14 commits into

mainfrom

Dec 1, 2025

Commits on Nov 4, 2025

WIP
josevalim
committed
880b479
Fix
josevalim
committed
ae51b34
Rename and reorder
josevalim
committed
368306e
WIP
josevalim
committed
f0cc63f
done
josevalim
committed
4c5e1ac
More comments
josevalim
committed
4e71e2b
progress
josevalim
committed
5a4cc99
done
josevalim
committed
b1c0096
More renamings for consistency
josevalim
committed
02bf285

Commits on Dec 1, 2025

Remove domain_key wrapping
josevalim
committed
b57be87
All green
josevalim
committed
72dc7ed
Docs
josevalim
committed
22d6d03
Ellide if_set for domain types
josevalim
committed
6d1d39a
Fix type warning in test
josevalim
committed
943b94c