Skip to content

mctestface/elixir-lang-mirror

Back Detect disjoint maps with any required unmatched field

Commit details

Detect disjoint maps with any required unmatched field

Description

A required unmatched key cannot occur in the other closed map, even when the remaining unmatched keys include optional fields. Recognize this case early to avoid retaining unnecessary BDD nodes during subtraction. Assisted-by: Codex:GPT-6

Metadata

Author
preciz barna.kovacs@tutanota.com
Committed
Commit

Contributors

  • preciz barna.kovacs@tutanota.com Author